def hex_digit_if
import bend-collections@1.0.0.0/src/crypto/aes/aes.bend as Aesimport Base
203def hex_digit_if(x: U32, small: Bool) -> Char:
204 match small:
205 case True{}:
206 Chr{U32.add(48, x)}
207 case False{}:
208 Chr{U32.add(87, x)}