parameters: (location: Location, term: AST, guards: Sequence[AST])
return_statement: return AST(p_ast[0])
docstring: Construct an AST node of type `ASTType.CspLiteral`.
docstring_summary: Construct an AST node of type `ASTType.CspLiteral`.
docstring_tokens: Construct an AST node of type ASTType . CspLiteral .
function: def CspLiteral(location: Location, term: AST, guards: Sequence[AST]) -> AST:
      '''
      Construct an AST node of type `ASTType.CspLiteral`.
      '''
      p_ast = _ffi.new('clingo_ast_t**')
      c_location = _c_location(location)
      _handle_error(_lib.clingo_ast_build(
          _lib.clingo_ast_type_csp_literal, p_ast,
          c_location[0],
          term._rep,
          _ffi.new('clingo_ast_t*[]', [ x._rep for x in guards ]),
          _ffi.cast('size_t', len(guards))))
      return AST(p_ast[0])
function_tokens: def CspLiteral ( location : Location , term : AST , guards : 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_csp_literal , p_ast , c_location [ 0 ] , term . _rep , _ffi . new ( 'clingo_ast_t*[]' , [ x . _rep for x in guards ] ) , _ffi . cast ( 'size_t' , len ( guards ) ) ) ) return AST ( p_ast [ 0 ] )