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

Parameter `Distributive_Lattice.2-A`

val make : DL.t Q.arbitrary