module PP: Lattice.Boolean(Lattice.Base.S)
Lattice.Boolean
(
Lattice.Base.S
)
module B: sig .. end
sig
end
include struct ... end