Module Env.Term_cst

val bind : t -> E.term_cst -> t
val name : t -> E.term_cst -> Dolmen_std.Name.t