package liquidsoap-lang

  1. Overview
  2. Docs
package liquidsoap-lang
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Liquidsoap_lang.TypecheckingSource

Sourceval debug : bool ref
Sourceval display_types : bool ref
Sourceval value_restriction : Term.t -> bool
Sourceval add_task : (unit -> unit) -> unit
Sourceval pop_tasks : unit -> unit
Sourceval type_of_pat : level:int -> pos:Pos.Option.t -> Term.pattern -> (string list * Type.t) list * Type.t
Sourceval check : ?env:Typing.env -> ?ignored:bool -> throw:(exn -> unit) -> Term.t -> unit