def Pct.esc.if

bend-kube-runtime@0.2.0.0 · src/proxy.bend:206

import Base
import bend-kube-runtime@0.2.0.0/src/utf8.bend as U

206def Pct.esc.if(+a: Char, +b: Char, +hi: U32, +lo: U32, rest: List<&2, U32>, ok: Bool) ->
207  List<&2, U32>:
208  match ok:
209    case True{}:
210      Con{U32.add(U32.mul(hi, 16), lo), rest}
211    case False{}:
212      Con{37, U.Utf8.put(Char.to_u32(a), U.Utf8.put(Char.to_u32(b), rest))}