Up

module Typing_aux

: sig
#
exception Weak_error of exn
#
val raise_error : exn -> unit
#
val catch_errors : exn list Pervasives.ref -> (unit -> 'a) -> 'a
#
val uncatch_errors : (unit -> 'a) -> 'a
#
val erroneous_type_register : Types.type_expr -> unit
#
val erroneous_type_check : Types.type_expr -> bool
#
val erroneous_expr_check : Typedtree.expression -> bool
#
val relax_typer : bool Std.fluid
end