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

Parameter `Distributive_Lattice.2-A`

val make : DL.t Q.arbitrary