parameters: (location: Location, atom: AST, body: Sequence[AST])
return_statement: return AST(p_ast[0])
docstring: Construct an AST node of type `ASTType.ProjectAtom`.
docstring_summary: Construct an AST node of type `ASTType.ProjectAtom`.
docstring_tokens: Construct an AST node of type ASTType . ProjectAtom .
function: def ProjectAtom(location: Location, atom: AST, body: Sequence[AST]) -> AST:
      '''
      Construct an AST node of type `ASTType.ProjectAtom`.
      '''
      p_ast = _ffi.new('clingo_ast_t**')
      c_location = _c_location(location)
      _handle_error(_lib.clingo_ast_build(
          _lib.clingo_ast_type_project_atom, p_ast,
          c_location[0],
          atom._rep,
          _ffi.new('clingo_ast_t*[]', [ x._rep for x in body ]),
          _ffi.cast('size_t', len(body))))
      return AST(p_ast[0])
function_tokens: def ProjectAtom ( location : Location , atom : AST , body : Sequence [ AST ] ) -> AST : p_ast = _ffi . new ( 'clingo_ast_t**' ) c_location = _c_location ( location ) _handle_error ( _lib . clingo_ast_build ( _lib . clingo_ast_type_project_atom , p_ast , c_location [ 0 ] , atom . _rep , _ffi . new ( 'clingo_ast_t*[]' , [ x . _rep for x in body ] ) , _ffi . cast ( 'size_t' , len ( body ) ) ) ) return AST ( p_ast [ 0 ] )