Module type Lattice_type.Bounded_Join_Semi_Lattice

module type Bounded_Join_Semi_Lattice = sig .. end

include Lattice_type.Join_Semi_Lattice
val bottom : t
smallest element