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