~/jendhub

def sk.uni.put

emerging-ezjson@1.3.0.0 · src/pull.bend:1333

import emerging-ezjson@1.3.0.0/src/pull.bend as Pull
import Base

1333# one more skipped hex digit, or the code point
1334def sk.uni.put(
1335  tl: String,
1336  left: Nat,
1337  acc: U32,
1338  dig: U32,
1339  stack: List<&2, Frame>,
1340  goal: Goal,
1341  done: Bool
1342) -> St:
1343  match left:
1344    case 0n:
1345      sk.uni.end(tl, (acc * 16 + dig : U32), stack, goal, done)
1346    case 1n+p:
1347      S{MSkUni{p, (acc * 16 + dig : U32)}, stack, goal, done, False{}}

Uses (12)

Used by (1)