You can search for identifiers within the package.
in-package search v0.2.0
dolmen.std
Ty.Var
A module for variables that occur in types.
type t = ty_var
The type of variables the can occur in types
val hash : t -> int
A hash function for type variables, should be suitable to create hashtables.
val equal : t -> t -> bool
An equality function on type variables. Should be compatible with the hash function.
val compare : t -> t -> int
Comparison function on variables.
val mk : string -> t
Create a new type variable with the given name.
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).