Parameter Bounded_Join_Semilattice.2-E

type t = B.t
val eq : t -> t -> bool