Typechecking (liquidsoap-lang.Liquidsoap

exception No_method of string * Liquidsoap_lang_types.Type.t

exception Top_level_override of string * Liquidsoap_lang_prelude.Pos.t option

val debug : bool Stdlib.ref

val display_types : bool Stdlib.ref

val value_restriction : Liquidsoap_lang_ast.Term.t -> bool

val add_task : (unit -> unit) -> unit

val pop_tasks : unit -> unit

val type_of_pat : 
  level:int ->
  pos:Liquidsoap_lang_prelude.Pos.Option.t ->
  Liquidsoap_lang_ast.Term.pattern ->
  (string list * Liquidsoap_lang_types.Type.t) list
  * Liquidsoap_lang_types.Type.t

val check : 
  ?env:Liquidsoap_lang_types.Typing.env ->
  check_top_level_override:bool ->
  throw:(bt:Stdlib.Printexc.raw_backtrace -> exn -> unit) ->
  Liquidsoap_lang_ast.Term.t ->
  unit