def dec.four

ezmcp@0.1.0.0 · src/line.bend:149

import Base

149def dec.four(+lead: U32, bs: List<&2, U32>, go: List<&2, U32> -> String) -> String:
150  match bs:
151    case +b <> +c <> +d <> +t:
152      dec.take(Chr{four(lead, b, c, d)},
153        Bool.and(cont(b), Bool.and(cont(c), cont(d))), b <> c <> d <> t, t, go)
154    case other:
155      SCon{bad(), go(other)}