public override void check_that_key_slices_are_increasing(Range key1, Range key2) { if (Verification.CompareLexicographic(input.Slice(key1), input.Slice(key2)) >= 0) { throw new DeserializationException("Error while decoding map: keys are not serialized in the expected order"); } }