Lines Matching defs:genSym
641 VariableP<T> genSym (const string& baseName)1037 VariableP<T> var = ctx.genSym<T>(name);