Module Term.Var

include Dolmen_intf.Id.Scope with type t = term_var and type path := Dolmen_std.Path.t
type t = term_var

The type of identifiers.

val equal : t -> t -> bool

Equality function

val path : t -> Dolmen_std.Path.t

Identifier name.

module Map : Dolmen_intf.Map.S with type key = t

A module for Maps on ids.