Searched refs:localvargen (Results 1 – 2 of 2) sorted by relevance
85 localvargen *localVarGenerator member957 c.localvargen = newLocalVarGeneratorForModuleSet(c.sorted, c.Modules)961 f := newEqualityFactory(c.localvargen)972 rewriteExprTermsInHead(c.localvargen, rule)973 rule.Body = rewriteExprTermsInBody(c.localvargen, rule.Body)993 f := newEqualityFactory(c.localvargen)1027 f := newEqualityFactory(c.localvargen)1041 gen := c.localvargen1221 f := newEqualityFactory(c.localvargen)
3464 c.localvargen = newLocalVarGeneratorForModuleSet(c.sorted, c.Modules)