parameters: (p)
docstring: schdecl : FRESH FUNCTION funs
docstring_summary: schdecl : FRESH FUNCTION funs
docstring_tokens: schdecl : FRESH FUNCTION funs
function: def p_schdecl_fresh_funcdecl(p):
      'schdecl : FRESH FUNCTION funs'
      p[0] = [FreshConstantDecl(x.args[0]) if isinstance(x,ConstantDecl) else x for x in p[3]]
function_tokens: def p_schdecl_fresh_funcdecl ( p ) : p [ 0 ] = [ FreshConstantDecl ( x . args [ 0 ] ) if isinstance ( x , ConstantDecl ) else x for x in p [ 3 ] ]