Module Lang.Envs

module Envs: sig .. end

type t = Lang.Env.t * Lang.subst 

val empty : t