module type With_Top = Lattice_type.With_Top
Lattice_type.With_Top
type t
val top : t
t
largest element