def hex

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/sha/packed/core_model.bend:686

import Base

686def hex(ws: List<&2, U32>) -> String:
687  match ws:
688    case Nil{}:
689      ""
690    case w <> t:
691      hex_word(w) ++ hex(t)