module Typing_aux

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