There doesn't seem to be any CharVectorSlice in MLWorks, but it's required by the "standard": http://sml-family.org/Basis/mono-vector-slice.html#CharVectorSlice:STR:SPEC