def Digit.all

bend-trace-context@0.2.0.0 · src/hex.bend:324

import bend-trace-context@0.2.0.0/src/hex.bend as Hex
import 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{}]

Uses (2)

Used by (1)