Type error utilities
This file wraps the functions in Type_check, so they return Fatal_error exceptions from the Reporting module rather than Type_errors.
If false (default), we'll only explain generated variables, not variables written explicitly by the user in the source.
If false (default), we'll list relevant constraints, but not go into detail about how they were derived
val analyze_unresolved_quant :
(Ast_util.mut * Ast.typ) Ast_util.Bindings.t ->
Ast.n_constraint list ->
Ast.quant_item ->
suggestionAnalyze an unresolved quantifier type error
val collapse_errors : Type_check.type_error -> Type_check.type_errorval string_of_type_error : Type_check.type_error -> stringval check_defs :
Type_check.Env.t ->
'a Ast.def list ->
Type_check.tannot Ast.def list * Type_check.Env.tval check :
Type_check.Env.t ->
'a Ast_defs.ast ->
Type_check.tannot Ast_defs.ast * Type_check.Env.t