Searched refs:Contract (Results 1 – 3 of 3) sorted by relevance
43 void Contract(FieldElement* inout);49 Contract(&minimal); in IsZero()297 void Contract(FieldElement* inout) { in Contract() function663 Contract(&lhs); in SetFromString()678 Contract(&rhs); in SetFromString()697 Contract(&xx); in ToString()698 Contract(&yy); in ToString()
1082 #pragma mark == Design-By-Contract macros ==
372 The Contract of ``classof``