~/jendhub

def Iso8601.frac.strip

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

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

101def Iso8601.frac.strip(+n: U32, k: Nat) -> U32 & Nat:
102  Iso8601.frac.strip.go(k, n, U32.is_eq(U32.mod(n, 10), 0))

Uses (6)

Used by (1)