~/jendhub

def Iso8601.pad_n

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

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

54def Iso8601.pad_n(n: U32, k: Nat) -> String:
55  Iso8601.pad_n.go(k, n, SNil{})

Uses (4)

Used by (2)