parameters: (location: Location, name: str, arguments: Sequence[AST])
return_statement: return AST(p_ast[0])
docstring: Construct an AST node of type `ASTType.TheoryFunction`.
docstring_summary: Construct an AST node of type `ASTType.TheoryFunction`.
docstring_tokens: Construct an AST node of type ASTType . TheoryFunction .
function: def TheoryFunction(location: Location, name: str, arguments: Sequence[AST]) -> AST:
      '''
      Construct an AST node of type `ASTType.TheoryFunction`.
      '''
      p_ast = _ffi.new('clingo_ast_t**')
      c_location = _c_location(location)
      _handle_error(_lib.clingo_ast_build(
          _lib.clingo_ast_type_theory_function, p_ast,
          c_location[0],
          _ffi.new('char const[]', name.encode()),
          _ffi.new('clingo_ast_t*[]', [ x._rep for x in arguments ]),
          _ffi.cast('size_t', len(arguments))))
      return AST(p_ast[0])
function_tokens: def TheoryFunction ( location : Location , name : str , arguments : 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_theory_function , p_ast , c_location [ 0 ] , _ffi . new ( 'char const[]' , name . encode ( ) ) , _ffi . new ( 'clingo_ast_t*[]' , [ x . _rep for x in arguments ] ) , _ffi . cast ( 'size_t' , len ( arguments ) ) ) ) return AST ( p_ast [ 0 ] )