~/jendhub

def Iso8601.dur.frac.s

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

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

477def Iso8601.dur.frac.s(
478  st: Iso8601.DurS, sec: U32, acc: U32, +left: Nat, is_s: Bool
479) -> Iso8601.DurC:
480  match is_s:
481    case True{}:
482      Iso8601.dur.frac.s2(st, sec, acc, left, Nat.is_eq(left, 9n))
483    case False{}:
484      DurFail{Invalid{}}

Uses (8)

Used by (1)