def wsd.m

bend-osdev-word64@0.1.1.0 · PROOF_text.bend:199

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

199def wsd.m(+rp: U32, +c: U32) -> U32:
200  U32.mod(wsd.v(rp, c), 10)

Uses (3)

Used by (9)