def Digit.all
import bend-trace-context@0.2.0.0/src/hex.bend as Heximport Base
324# Every digit, in encoding order.
325def Digit.all() -> List<&2, Digit>:
326 [H0{}, H1{}, H2{}, H3{}, H4{}, H5{}, H6{}, H7{},
327 H8{}, H9{}, Ha{}, Hb{}, Hc{}, Hd{}, He{}, Hf{}]