Module Base_Set_Lattice


module Base_Set_Lattice: sig .. end

include struct ... end