Up – bastet » Bastet » Test » String » M » Bounded_Meet_Semilattice » 2-A

Parameter `Bounded_Meet_Semilattice.2-A`

val make : BMS.t Q.arbitrary