def hex.go
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
331def hex.go(rs: List<&2, U32>, acc: String) -> String:
332 match rs:
333 case Nil{}:
334 acc
335 case Con{h, t}:
336 +b = byte(h)
337 hex.go(t, SCon{hex.digit(U32.shrn(b, 4n)), SCon{hex.digit(U32.and(b, 15)), acc}})