def dec.three

ezmcp@0.1.0.0 · src/line.bend:137

import ezmcp@0.1.0.0/src/line.bend as Line
import Base

137def dec.three(
138  +lead: U32,
139  bs: List<&2, U32>,
140  go: List<&2, U32> -> String
141) -> String:
142  match bs:
143    case +b <> +c <> +t:
144      dec.take(Chr{three(lead, b, c)}, Bool.and(cont(b), cont(c)), b <> c <> t,
145        t, go)
146    case other:
147      SCon{bad(), go(other)}

Uses (9)

Used by (1)