dolmen.std
Term.Var
A module for variables that occur in terms.
dolmen
dolmen.ae
dolmen.class
dolmen.dimacs
dolmen.icnf
dolmen.intf
dolmen.line
dolmen.smtlib2
dolmen.tptp
dolmen.zf
dolmen_smtlib2_poly
dolmen_smtlib2_v6
dolmen_tptp_v6_3_0
type t = term_var
The type of variables the can occur in terms
val hash : t -> int
A hash function for term variables, should be suitable to create hashtables.
val equal : t -> t -> bool
An equality function on term variables. Should be compatible with the hash function.
val compare : t -> t -> int
Comparison function on variables.
val mk : string -> ty -> t
Create a new typed variable.
val ty : t -> ty
Return the type of the variable.
val tag : t -> 'a tag -> 'a -> unit
Tag a variable.
val get_tag : t -> 'a tag -> 'a list
Return the list of value associated to the tag.
val get_tag_last : t -> 'a tag -> 'a option
Return the last value associated to the tag (if any).