Functor Bottom.Bound_Lattice

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:
Lattice : Lattice_type.Join_Semi_Lattice

include Lattice_type.Join_Semi_Lattice
val bottom : t
smallest element