def Iso8601.dur.frac.scale

bend-time-lib@0.4.0.1 · iso8601.bend:390

import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
import Base

390def Iso8601.dur.frac.scale(+acc: U32, got: Nat) -> U32:
391  U32.mul(acc, U32.pow(10, Nat.sub(9n, got)))

Uses (5)

Used by (1)