String.substring_codepoint

(from i32)

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

Precondition

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

0.095dev (GIT hash c0597c5e4454e0a756871b577946c51ba77d9fde)

last changed: 2026-04-14