~/jendhub

def utf.more

bend-kit-router@0.2.0.0 · target.bend:28

import bend-kit-router@0.2.0.0/target.bend as Target
import Base

28def utf.more(ok: Bool, +need: U32, +cp: U32, +out: String) -> Maybe<&2, Utf>:
29  match ok:
30    case False{}:
31      None{}
32    case True{}:
33      Some{Utf{(need - 1 : U32), 128, 191, cp, Bool.pick(String, U32.is_eq(need, 1), SCon{Chr{cp}, out}, out)}}

Uses (9)

Used by (1)