Module Lattice_type.Lattice_Set_Generic.O

module O: sig .. end

type t 
type elt