def char.lift

bend-kit-property@0.4.0.0 · shrink.bend:112

import Base

112def char.lift(xs: List<&1, U32>, +base: U32) -> List<&1, Char>:
113  match xs:
114    case Nil{}:
115      Nil{}
116    case x <> t:
117      Chr{(base + x : U32)} <> char.lift(t, base)