parameters: (p)
docstring: decreases : DECREASES expr opt_semi
docstring_summary: decreases : DECREASES expr opt_semi
docstring_tokens: decreases : DECREASES expr opt_semi
function: def p_decreases_decreases_expr(p):
      'decreases : DECREASES expr opt_semi'
      p[0] = p[2]
function_tokens: def p_decreases_decreases_expr ( p ) : p [ 0 ] = p [ 2 ]