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

Parameter `Medial_Magma.2-A`

val make : M.t Q.arbitrary