def hex.val
import ezx@1.11.0.0/src/sha/nar.bend as Narimport Base
186def hex.val(+ch: Char) -> U32:
187 +u = Char.to_u32(ch)
188 hex.val.digit(Bool.and(U32.is_ge(u, 48), U32.is_le(u, 57)), u)
import ezx@1.11.0.0/src/sha/nar.bend as Narimport Base
186def hex.val(+ch: Char) -> U32:
187 +u = Char.to_u32(ch)
188 hex.val.digit(Bool.and(U32.is_ge(u, 48), U32.is_le(u, 57)), u)