Previous
Up
Next
Module type
Lattice_type.With_Top
module type
With_Top
=
sig
..
end
type
t
val
top
:
t
largest element