Searched refs:testModAddCommutative (Results 1 – 1 of 1) sorted by relevance
36 func testModAddCommutative(a *Nat, b *Nat) bool { func46 err := quick.Check(testModAddCommutative, &quick.Config{})