def Date.to_z

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

import Base

222def Date.to_z(d: Date) -> U32:
223  match d:
224    case Date{+y, +m, +dd}:
225      Date.to_z.go(U32.is_le(m, 2), y, m, dd)