Module Liquidsoap_lang.Typechecking

exception No_method of string * Type.t
exception Top_level_override of string * Pos.t option
val debug : bool Stdlib.ref
val display_types : bool Stdlib.ref
val value_restriction : Term.t -> bool
val add_task : (unit -> unit) -> unit
val pop_tasks : unit -> unit
val type_of_pat : level:int -> pos:Pos.Option.t -> Term.pattern -> (string list * Type.t) list * Type.t
val check : ?env:Typing.env -> check_top_level_override:bool -> throw:(bt:Stdlib.Printexc.raw_backtrace -> exn -> unit) -> Term.t -> unit