static SymbolSymbol simpleMatchTriple_dollarVars(T3<Symbol> pat, T3<Symbol> t) {
  if (pat == null || t == null) null;
  ret simpleMatchTriple_dollarVars(pat.a, pat.b, pat.c, t);
}
  
static SymbolSymbol simpleMatchTriple_dollarVars(Symbol patA, Symbol patB, Symbol patC, T3<Symbol> t) {
  if (t == null) null;
  new SymbolSymbol match;
  ret matchDollarVarIC(match, patA, t.a)
    && matchDollarVarIC(match, patB, t.b)
    && matchDollarVarIC(match, patC, t.c) ? match : null;
}