def hex.val

emerging-ezhttp@0.21.0.0 · src/http.bend:74

import Base

74# the value of one hex digit, or 16 when the char is not one
75def hex.val(c: Char) -> U32:
76  hex.of(Char.to_u32(c))