Module type Lattice_type.With_Top

module type With_Top = sig .. end

type t 
val top : t
largest element