DString
DString is a stricter string API for Lean 4.
Its Pos and Substring types depend on the string they are from,
and guarantee that they’re always valid for that string.
DString is a stricter string API for Lean 4.
Its Pos and Substring types depend on the string they are from,
and guarantee that they’re always valid for that string.