sig type t = Lang.Env.t * Lang.subst val empty : Lang.Envs.t end