parameters: (p)
docstring: top : top USING SYMBOL
docstring_summary: top : top USING SYMBOL
docstring_tokens: top : top USING SYMBOL
function: def p_top_using_symbol(p):
      'top : top USING SYMBOL'
      p[0] = p[1]
      pref = Atom(p[3],[])
      module = importer(p[3])
      for decl in module.decls:
          idecl = subst_prefix_atoms_ast(decl,{},pref,module.defined)
          p[0].declare(idecl)
function_tokens: def p_top_using_symbol ( p ) : p [ 0 ] = p [ 1 ] pref = Atom ( p [ 3 ] , [ ] ) module = importer ( p [ 3 ] ) for decl in module . decls : idecl = subst_prefix_atoms_ast ( decl , { } , pref , module . defined ) p [ 0 ] . declare ( idecl )