def digits.val
import emerging-ezhttp@0.22.0.0/src/http.bend as Httpimport Base
196# a decimal digit's value, or 10 when the character is not a digit
197def digits.val(c: Char) -> U32:
198 digits.val.of(Char.to_u32(c))
import emerging-ezhttp@0.22.0.0/src/http.bend as Httpimport Base
196# a decimal digit's value, or 10 when the character is not a digit
197def digits.val(c: Char) -> U32:
198 digits.val.of(Char.to_u32(c))