parameters: (p)
docstring: proofgroup : LCB proofseq RCB
docstring_summary: proofgroup : LCB proofseq RCB
docstring_tokens: proofgroup : LCB proofseq RCB
function: def p_proofgroup_lcb_proofseq_rcb(p):
      'proofgroup : LCB proofseq RCB'
      p[0] = p[2]
function_tokens: def p_proofgroup_lcb_proofseq_rcb ( p ) : p [ 0 ] = p [ 2 ]