Over_meet_semilattice_and_via_top.Req
type t = Meet_req.t
The type held by the Bounded_meet_semilattice
Bounded_meet_semilattice
val top : t
the top value represent the greatest element of the meet semilattice