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