code: def facts(self):
          
          fact = lib.EnvGetNextFact(self._env, ffi.NULL)
  
          while fact != ffi.NULL:
              yield new_fact(self._env, fact)
  
              fact = lib.EnvGetNextFact(self._env, fact)
docs: Iterate over the asserted Facts.