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