sig type t val empty : Logic_typing.Lenv.t end