def hex.digit
import emerging-ezhttp@0.21.0.0/src/http.bend as Httpimport Base
100# whether a character is a hex digit
101def hex.digit(c: Char) -> Bool:
102 U32.is_lt(hex.val(c), 16)
import emerging-ezhttp@0.21.0.0/src/http.bend as Httpimport Base
100# whether a character is a hex digit
101def hex.digit(c: Char) -> Bool:
102 U32.is_lt(hex.val(c), 16)