Module Var

module Var: sig  end

val name_of : t -> Name.t

val dom_of : t -> dom

val eq : t -> t -> bool

val cmp : t -> t -> int

val (<<<) : t -> t -> bool

val hash : t -> int

module Set: sig  end

module Map: sig  end

val mk_var : Name.t -> dom -> t

val k : int Pervasives.ref

val mk_rename : Name.t -> int option -> dom -> t

val mk_fresh : Name.t -> int option -> dom -> t

val mk_free : int -> t

val mk_slack : int option -> bool -> dom -> t

val is_var : t -> bool

val is_rename : t -> bool

val is_fresh : t -> bool

val is_free : t -> bool

val is_slack : t -> bool

val d_free : t -> int

val pretty : bool Pervasives.ref

val pp : Format.formatter -> t -> unit