Module Term.Const

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

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.

val mk : Dolmen_std.Path.t -> ty -> t

Create a constant symbol

val get_tag : t -> 'a tag -> 'a option

Return the value bound to a tag (if any).