Lines Matching refs:SApply
869 class SApply : public SExpr {
873 SApply(SExpr *Sf, SExpr *A = nullptr) : SExpr(COP_SApply), Sfun(Sf), Arg(A) {}
874 SApply(SApply &A, SExpr *Sf, SExpr *Ar = nullptr) // rewrite constructor
894 typename C::CType compare(const SApply* E, C& Cmp) const {
