module type Bounded_Join_Semi_Lattice = sig .. end
sig
end
include Lattice_type.Join_Semi_Lattice
val bottom : t
t
smallest element