Names.Name
Representation and operations on identifiers that are allowed to be anonymous (i.e. "_" in concrete syntax).
val is_anonymous : t -> bool
Return true
iff a given name is Anonymous
.
val is_name : t -> bool
Return true
iff a given name is Name _
.
val hash : t -> int
Hash over names.
val hcons : t Hashcons.f
Hashconsing over names.