val describe_unification_error : Ast.typ -> Ast.unification_error -> unit
val describe_type_error : Ast.position -> Ast.type_error -> unit
val describe_unification_error : Ast.typ -> Ast.unification_error -> unit
val describe_type_error : Ast.position -> Ast.type_error -> unit