Module type Eva_lattice_type.With_Top

module type With_Top = Lattice_type.With_Top

type t 
val top : t

largest element