Module type Term_dnet.IDENT
Identifiers to store (right hand side of the association)
val compare : t -> t -> int
val subst : Mod_subst.substitution -> t -> t
how to substitute them for storage
val constr_of : t -> Constr.constr
how to recover the term from the identifier