Up – bastet » Bastet » Test » Bool » M » Compare » Semiring » 3-A

Parameter `Semiring.3-A`

val make : S.t Q.arbitrary