module Variable: sig .. end
Variables.
type
Variables
val named : string -> t
named n variable with the name
n.
val fresh : unit -> t
A fresh variable.
val variant : t list -> t -> t
variant avoid v is a variable with a name that of v, but not
occurring in avoid.
val equal : t -> t -> bool
Are two variables equal?
val hash : t -> int
Hash code of a variable.
val compare : t -> t -> int
An arbitrary ordering on variables.
val string_of : t -> string
string representation of a variable.
val pp_print : Format.formatter -> t -> unit
Print a variable.
val log : int -> t -> unit
log level c is equivalent to
Log.log level pp_print c
module Variable_set: Set.S with type elt = t
Sets of variables.
module Variable_map: Map.S with type key = t
Maps from variables.
module Variable_hashtbl: Hashtbl.S with type key = t
Hash tables from variables.
Hosted by the
* web site.
*Other names and brands may be claimed as the property
of others.