parameters: (p)
docstring: rel : defnlhs
docstring_summary: rel : defnlhs
docstring_tokens: rel : defnlhs
function: def p_rel_defnlhs(p):
      'rel : defnlhs'
      p[1].sort = 'bool'
      p[0] = ConstantDecl(p[1])
function_tokens: def p_rel_defnlhs ( p ) : p [ 1 ] . sort = 'bool' p [ 0 ] = ConstantDecl ( p [ 1 ] )