Up – bastet » Bastet » Test » Bool » M » Boolean_Algebra » 2-A

Parameter `Boolean_Algebra.2-A`

val make : BA.t Q.arbitrary