Module Errortrace.Subtype
type 'a t = 'a Errortrace.Subtype.elt listJust as outside Subtype, we split traces, completed traces, and complete errors. However, in a minor asymmetry, the name Subtype.error_trace corresponds to the outside error type, and Subtype.error corresponds to the outside *_error types (e.g., unification_error). This error type has the invariant that the subtype trace is nonempty; note that no such invariant is imposed on the unification trace.
type trace = Types.type_expr Errortrace.Subtype.ttype error_trace = Errortrace.expanded_type Errortrace.Subtype.ttype unification_error_trace = Errortrace.unification Errortrace.errorTo avoid shadowing
type nonrec error = private {trace : Errortrace.Subtype.error_trace;unification_trace : Errortrace.unification Errortrace.error;
}val error :
trace:Errortrace.Subtype.error_trace ->
unification_trace:Errortrace.Subtype.unification_error_trace ->
Errortrace.Subtype.errorval map : ('a -> 'b) -> 'a Errortrace.Subtype.t -> 'b Errortrace.Subtype.t