String.substring_codepoint

(from i64)

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

Precondition

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

0.099dev (GIT hash 9b94ad4b4a4bff2bf2be7d77be2c6e1fd7683c4d)

last changed: 2026-09-23