Lines Matching defs:repr

238   MaybeLocalRepr repr{};
249       repr.kind = ReprKind::Inequality;
250       repr.repr.inequalityPair = {ubPos, lbPos};
251       return repr;
262     repr.kind = ReprKind::Equality;
263     repr.repr.equalityIdx = eqPos;
264     return repr;
266   return repr;