pub unsafe extern "C" fn GetNextDeffacts( arg1: *mut Environment, arg2: *mut Deffacts, ) -> *mut Deffacts