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