Env.Id
type t = < term_cst : E.term_cst ; term_var : E.term_var ; ty_cst : E.ty_cst ; ty_var : E.ty_var > Dolmen_intf.Scope.id
val equal : t -> t -> bool
val path : t -> Dolmen_std.Path.t
module Map : sig ... end
val namespace : t -> Dolmen_std.Namespace.t