module Bound_Lattice:functor (
Lattice
:
Lattice_type.Join_Semi_Lattice
) ->
Lattice_type.Bounded_Join_Semi_Lattice
with type t = Lattice.t or_bottom
Bounds a semi-lattice
Parameters: |
|
include Lattice_type.Join_Semi_Lattice
val bottom : t
smallest element