Module Variable

module Variable: sig .. end

type t 
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 Logo* web site.
*Other names and brands may be claimed as the property of others.