Over_join_semilattice_and_via_bottom.Req
type t = Join_req.t
The type held by the Bounded_join_semilattice
Bounded_join_semilattice
val bottom : t
The bottom value represent the least element of the join semilattice