def hex_digit_if

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

import Base

666def hex_digit_if(x: U32, small: Bool) -> Char:
667  match small:
668    case True{}:
669      Chr{(48 + x : U32)}
670    case False{}:
671      Chr{(87 + x : U32)}