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