def facts(self):
fact = lib.EnvGetNextFact(self._env, ffi.NULL)<EOL>while fact != ffi.NULL:<EOL><INDENT>yield new_fact(self._env, fact)<EOL>fact = lib.EnvGetNextFact(self._env, fact)<EOL><DEDENT>
Iterate over the asserted Facts.