package dolmen

  1. Overview
  2. Docs
type t
val const : ?loc:L.t -> I.t -> t
val int : ?loc:L.t -> string -> t
val real : ?loc:L.t -> string -> t
val hexa : ?loc:L.t -> string -> t
val binary : ?loc:L.t -> string -> t
val colon : ?loc:L.t -> t -> t -> t
val apply : ?loc:L.t -> t -> t list -> t
val letin : ?loc:L.t -> t list -> t -> t
val forall : ?loc:L.t -> t list -> t -> t
val exists : ?loc:L.t -> t list -> t -> t
val sexpr : ?loc:L.t -> t list -> t
val annot : ?loc:L.t -> t -> t list -> t