Previous
Up
Next
Module type
Lattice_type.With_Top_Opt
module type
With_Top_Opt =
sig
..
end
type
t
val
top_opt
:
t
option
optional largest element