Crossing in either direction, with strict current inequality and inclusive
prior inequality. Default propagate requires finite adjacent pairs;
skip compares with the most recent jointly finite pair. Missing current
pairs and the first pair are false. Unequal lengths throw RangeError;
unknown missing policies throw TypeError.
Crossing in either direction, with strict current inequality and inclusive prior inequality. Default
propagaterequires finite adjacent pairs;skipcompares with the most recent jointly finite pair. Missing current pairs and the first pair are false. Unequal lengths throw RangeError; unknown missing policies throw TypeError.