parameters: (p)
docstring: stmt : WHILE expr modifies invariants LCB stmts RCB
docstring_summary: stmt : WHILE expr modifies invariants LCB stmts RCB
docstring_tokens: stmt : WHILE expr modifies invariants LCB stmts RCB
function: def p_stmt_while_expr_modifies_invariant_lcb_stmts_rcb(p):
      'stmt : WHILE expr modifies invariants LCB stmts RCB'
      p[0] = da.WhileStmt(p[2],p[3],da.App(da.And(),*p[4]),p[6])
      p[0].lineno = p.lineno(1)
function_tokens: def p_stmt_while_expr_modifies_invariant_lcb_stmts_rcb ( p ) : p [ 0 ] = da . WhileStmt ( p [ 2 ] , p [ 3 ] , da . App ( da . And ( ) , * p [ 4 ] ) , p [ 6 ] ) p [ 0 ] . lineno = p . lineno ( 1 )