def wsh.r

import bend-osdev-word64@0.1.1.0/PROOF_text.bend as PROOFText

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

190def wsh.r(+a: W.W64) -> U32:
191  W.W64.small.r(W.W64.small.divmod(a, 10))

Uses (4)