Searched defs:termArgs (Results 1 – 1 of 1) sorted by relevance
3818 auto termArgs = term.getArgs(); matchAndRewrite() local 4106 ValueRange termArgs = oldTerm.getArgs(); matchAndRewrite() local