You can search for identifiers within the package.
in-package search v0.2.0
dolmen.std
Term.Var
A module for variables that occur in terms.
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).