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

Parameter `Bounded.2-A`

val make : B.t Q.arbitrary