def hex.digit
import yaml-for-bend@0.1.1.0/scan.bend as Scanimport Base
220def hex.digit(c: Char) -> U32:
221 +x = code(c)
222 U32.sub(x, Bool.pick(U32, U32.is_ge(x, 97), 87, Bool.pick(U32, U32.is_ge(x, 65), 55, 48)))
import yaml-for-bend@0.1.1.0/scan.bend as Scanimport Base
220def hex.digit(c: Char) -> U32:
221 +x = code(c)
222 U32.sub(x, Bool.pick(U32, U32.is_ge(x, 97), 87, Bool.pick(U32, U32.is_ge(x, 65), 55, 48)))