def Iso8601.show.frac2
import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601import Base
103def Iso8601.show.frac2(nk: U32 & Nat) -> String:
104 (n, k) = nk
105 Iso8601.pad_n(n, k)
import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601import Base
103def Iso8601.show.frac2(nk: U32 & Nat) -> String:
104 (n, k) = nk
105 Iso8601.pad_n(n, k)