Functor Lattice_bounds.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