Searched refs:Contract (Results 1 – 4 of 4) sorted by relevance
57 void Contract(FieldElement* inout);63 Contract(&minimal); in IsZero()326 void Contract(FieldElement* inout) { in Contract() function692 Contract(&lhs); in SetFromString()707 Contract(&rhs); in SetFromString()726 Contract(&xx); in ToString()727 Contract(&yy); in ToString()
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``