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