Macro proptest_contiguous_order 

macro_rules! proptest_contiguous_order {
    ($type:ty) => { ... };
}

ContiguousOrder proptests