Module Lattice.Medium.CA


module CA: Lattice.Boolean(S)

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