Up
Next
Module
Logic_typing.Lenv
module
Lenv:
sig
..
end
Local logic environment
type
t
val
empty
:
unit ->
t