Module type Lattice_type.With_Top

type t
val top : t

largest element