def Date.dim.rest3

import bend-time-lib@0.4.0.1/date.bend as Date

import Base

58def Date.dim.rest3(m: U32, d30: Bool) -> Maybe<&2, U32>:
59  match d30:
60    case True{}:
61      Some{30}
62    case False{}:
63      None{}

Uses (3)

U32
Bool
Maybe

Used by (1)

bend-time-lib@0.4.0.1/date:Date.dim.rest2