Adopt Verus String/StrSlice
Closed this issue · 2 comments
marshtompsxd commented
Verus now has string support as String and StrSlice.
We should replace the enum StringL (which is a workaround when there was no string) with the Verus String.
lalithsuresh commented
Blocked by verus-lang/verus#300 for now.
marshtompsxd commented
done