parameters: (p)
docstring: top : top RELY atom ARROW atom
docstring_summary: top : top RELY atom ARROW atom
docstring_tokens: top : top RELY atom ARROW atom
function: def p_top_rely_atom_arrow_atom(p):
      'top : top RELY atom ARROW atom'
      p[0] = p[1]
      p[0].declare(RelyDecl(Implies(p[3],p[5])))
function_tokens: def p_top_rely_atom_arrow_atom ( p ) : p [ 0 ] = p [ 1 ] p [ 0 ] . declare ( RelyDecl ( Implies ( p [ 3 ] , p [ 5 ] ) ) )