Searched refs:applied_args (Results 1 – 1 of 1) sorted by relevance
344 std::vector<Kind> applied_args; in apply() local347 applied_args.emplace_back(arg.apply(subs)); in apply()349 return { ret.apply(subs), applied_args }; in apply()