package dolmen

  1. Overview
  2. Docs
type t
type id
type location
val tType : t
val wildcard : t
val prop : t
val true_ : t
val false_ : t
val const : ?loc:location -> id -> t
val apply : ?loc:location -> t -> t list -> t
val colon : ?loc:location -> t -> t -> t
val arrow : ?loc:location -> t -> t -> t
val eq : ?loc:location -> t -> t -> t
val not_ : ?loc:location -> t -> t
val or_ : ?loc:location -> t list -> t
val and_ : ?loc:location -> t list -> t
val imply : ?loc:location -> t -> t -> t
val equiv : ?loc:location -> t -> t -> t
val pi : ?loc:location -> t list -> t -> 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
OCaml

Innovation. Community. Security.