def hex_word_go

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

import Base

676def hex_word_go(n: Nat, +x: U32, acc: String) -> String:
677  match n:
678    case 0n:
679      acc
680    case 1n+p:
681      hex_word_go(p, U32.shrn(x, 4n), SCon{hex_digit((x .&. 15 : U32)), acc})