package dolmen

  1. Overview
  2. Docs
package dolmen
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
type id
type term
type location
val annot : ?loc:location -> term -> term list -> term
val include_ : ?loc:location -> string -> id list -> t
val tpi : ?loc:location -> ?annot:term -> id -> string -> term -> t
val thf : ?loc:location -> ?annot:term -> id -> string -> term -> t
val tff : ?loc:location -> ?annot:term -> id -> string -> term -> t
val fof : ?loc:location -> ?annot:term -> id -> string -> term -> t
val cnf : ?loc:location -> ?annot:term -> id -> string -> term -> t