Env.N
val ty_var : Dolmen_std.Namespace.t
val ty_cst : Dolmen_std.Namespace.t
val term_var : Dolmen_std.Namespace.t
val term_cst : Dolmen_std.Namespace.t