Module Liquidsoap_lang.Typechecking

exception No_method of string * Type.t
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 -> throw:(exn -> unit) -> Term.t -> unit