Model shr_slice and finish slice_basic.v

_CoqProject

theories/typing/array_util.v

theories/typing/examples/inc_vec.v

theories/typing/lib/slice/array_slice.v

theories/typing/lib/slice/iter.v

theories/typing/lib/slice/slice.v

theories/typing/lib/slice/slice_basic.v

theories/typing/lib/slice/slice_split.v

theories/typing/lib/smallvec/smallvec_slice.v

theories/typing/lib/vec/vec_slice.v