parameters: (self, control: Control, files: Sequence[str])
docstring: Function to replace clingo's default main function.
  
          This function must be implemented.
  
          Parameters
          ----------
          control
              The main control object.
          files
              The files passed to clingo_main.
docstring_summary: Function to replace clingo's default main function.
docstring_tokens: Function to replace clingo s default main function .
function: def main(self, control: Control, files: Sequence[str]) -> None:
          '''
          Function to replace clingo's default main function.
  
          This function must be implemented.
  
          Parameters
          ----------
          control
              The main control object.
          files
              The files passed to clingo_main.
          '''
function_tokens: def main ( self , control : Control , files : Sequence [ str ] ) -> None :