Module `Env.Term_cst`

val bind : t -> Expr.term_cst -> t

val name : t -> Expr.term_cst -> Dolmen_std.Name.t