String.substring_codepoint

(from i32, to i32)

create substring of this string consisting of codepoints from (inclusive) .. to (exclusive).

Precondition

pre
  debug    : 0 ≤ from ≤ to
  (debug 2): to ≤ codepoint_length

0.095dev (GIT hash 24f243f66c4524d1213ce09701f02534d7405377)

last changed: 2026-04-02