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

Parameter `Bounded_Lattice.2-A`

val make : BL.t Q.arbitrary