Searched refs:Bool__cmp (Results 1 – 1 of 1) sorted by relevance
433 static inline Word Bool__cmp ( Bool a, Bool b ) { in Bool__cmp() function492 r = Bool__cmp(te1->Te.Atom.valueKnown, te2->Te.Atom.valueKnown); in ML_()499 r = Bool__cmp(te1->Te.Field.isStruct, te2->Te.Field.isStruct); in ML_()514 r = Bool__cmp(te1->Te.Bound.knownL, te2->Te.Bound.knownL); in ML_()516 r = Bool__cmp(te1->Te.Bound.knownU, te2->Te.Bound.knownU); in ML_()543 r = Bool__cmp(te1->Te.TyStOrUn.isStruct, te2->Te.TyStOrUn.isStruct); in ML_()545 r = Bool__cmp(te1->Te.TyStOrUn.complete, te2->Te.TyStOrUn.complete); in ML_()575 r = Bool__cmp(te1->Te.TyVoid.isFake, te2->Te.TyVoid.isFake); in ML_()