Module Lattice.Medium.PP


module PP: Lattice.Boolean(Lattice.Base.S)

module B: sig .. end
include struct ... end