parameters: (p)
docstring: term : LPAREN DOLLAR SYMBOL simplevars DOT fmla RPAREN LPAREN terms RPAREN
docstring_summary: term : LPAREN DOLLAR SYMBOL simplevars DOT fmla RPAREN LPAREN terms RPAREN
docstring_tokens: term : LPAREN DOLLAR SYMBOL simplevars DOT fmla RPAREN LPAREN terms RPAREN
function: def p_term_namedbinder_vars_dot_term(p):
      'term : LPAREN DOLLAR SYMBOL simplevars DOT fmla RPAREN LPAREN terms RPAREN'
      x = NamedBinder(p[3], p[4],p[6])
      x.lineno = get_lineno(p,2)
      p[0] = App(x, p[9])
      p[0].lineno = get_lineno(p,2)
function_tokens: def p_term_namedbinder_vars_dot_term ( p ) : x = NamedBinder ( p [ 3 ] , p [ 4 ] , p [ 6 ] ) x . lineno = get_lineno ( p , 2 ) p [ 0 ] = App ( x , p [ 9 ] ) p [ 0 ] . lineno = get_lineno ( p , 2 )