def pow10

bend-prot@0.1.0.0 · pdb.bend:77

import Base

77# Powers of ten for the fractional scale.
78def pow10(n: Nat) -> U32:
79  match n:
80    case 0n:
81      1
82    case 1n+p:
83      U32.mul(10, pow10(p))