pub uninterp spec fn bitslice_view<T: BitStore, O: BitOrder>(b: &BitSlice<T, O>) -> Seq<bool>
The content of a borrowed bit-slice, modelled as a sequence of booleans.