def Date.of_z.fin

bend-kit-time@0.3.0.0 · time.bend:227

import Base

227def Date.of_z.fin(lo: Bool, +y: U32, +mp: U32, +d: U32) -> Date:
228  match lo:
229    case True{}:
230      Date{(y - 400 : U32), (mp + 3 : U32), d}
231    case False{}:
232      Date{(y - 399 : U32), (mp - 9 : U32), d}