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

Parameter `Bounded_Distributive_Lattice.2-A`

val make : BDL.t Q.arbitrary