sig type t val empty : unit -> Logic_typing.Lenv.t end