def Date.of_z.if

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

import Base

247def Date.of_z.if(ok: Bool, +z: U32) -> Maybe<&2, Date>:
248  match ok:
249    case True{}:
250      Some{Date.of_z(z)}
251    case False{}:
252      None{}