pub unsafe extern "C" fn GetNthDisjunct( arg1: *mut Environment, arg2: *mut Defrule, arg3: c_long, ) -> *mut Defrule