def Iso8601.per.weeks2

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

import Base

590def Iso8601.per.weeks2(+n: U32, ov: Bool) -> Result<&2, &2, Iso8601.Error, U32>:
591  match ov:
592    case True{}:
593      Fail{Invalid{}}
594    case False{}:
595      Done{U32.mul(n, 7)}