text: # We test with this sample that the method signature is correctly translated.
  @abstract
  class Abstract:
      @require(lambda x: x > 0)
      def some_func(self, x: int) -> bool:
          pass
  
  
  class Reference:
      pass
  
  
  __book_url__ = "dummy"
  __book_version__ = "dummy"
  associate_ref_with(Reference)
  