package dolmen

  1. Overview
  2. Docs
package dolmen
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val tType : t
val wildcard : t
val prop : t
val true_ : t
val false_ : t
val const : ?loc:L.t -> I.t -> t
val apply : ?loc:L.t -> t -> t list -> t
val colon : ?loc:L.t -> t -> t -> t
val arrow : ?loc:L.t -> t -> t -> t
val eq : ?loc:L.t -> t -> t -> t
val not_ : ?loc:L.t -> t -> t
val or_ : ?loc:L.t -> t list -> t
val and_ : ?loc:L.t -> t list -> t
val imply : ?loc:L.t -> t -> t -> t
val equiv : ?loc:L.t -> t -> t -> t
val pi : ?loc:L.t -> t list -> t -> 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