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