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