Searched refs:sexpr (Results 1 – 3 of 3) sorted by relevance
265 const til::SExpr* sexpr() const { return CapExpr; } in sexpr() function307 bool isInvalid() const { return sexpr() && isa<til::Undefined>(sexpr()); } in isInvalid()309 bool isUniversal() const { return sexpr() && isa<til::Wildcard>(sexpr()); } in isUniversal()
853 UnderlyingMutexes.push_back(M.sexpr()); in ScopedLockableFactEntry()855 UnderlyingMutexes.push_back(M.sexpr()); in ScopedLockableFactEntry()1172 if (auto *P = dyn_cast_or_null<til::Project>(CapE.sexpr())) { in inCurrentScope()
363 translateAttrExpr(At->getArg(), &LRCallCtx).sexpr()); in translateCallExpr()