Errortrace.Subtype
type !'a elt =
| Diff of 'a diff
type !'a t = 'a elt list
type trace = Types.type_expr t
type error_trace = expanded_type t
type unification_error_trace = unification error
type nonrec error = private {
trace : error_trace;
unification_trace : unification error;
}
val error : trace:error_trace -> unification_trace:unification_error_trace -> error
val map : ('a -> 'b) -> 'a t -> 'b t