package liquidsoap-lang

  1. Overview
  2. Docs
val debug : bool ref
val display_types : bool 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 -> ?ignored:bool -> throw:(exn -> unit) -> Term.t -> unit
OCaml

Innovation. Community. Security.