def dec.three
import ezmcp@0.1.0.0/src/line.bend as Lineimport 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)}