package dolmen

  1. Overview
  2. Docs
package dolmen
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
type id
type location
val const : ?loc:location -> id -> t
val int : ?loc:location -> string -> t
val real : ?loc:location -> string -> t
val hexa : ?loc:location -> string -> t
val binary : ?loc:location -> string -> t
val colon : ?loc:location -> t -> t -> t
val apply : ?loc:location -> t -> t list -> t
val letin : ?loc:location -> t list -> t -> t
val forall : ?loc:location -> t list -> t -> t
val exists : ?loc:location -> t list -> t -> t
val sexpr : ?loc:location -> t list -> t
val annot : ?loc:location -> t -> t list -> t