String.substring_codepoint

(from i64, to i64)

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

Precondition

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

0.099dev (GIT hash a68bce9af280552faedee34cd5433dc10b6454de)

last changed: 2026-10-14