dolmen.std
Ty.Var
A module for variables that occur in types.
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 = 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).