~/jendhub

def Date.dim.m

bend-time-lib@0.4.0.1 · date.bend:75

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

75def Date.dim.m(+m: U32, leap: Bool, feb: Bool) -> Maybe<&2, U32>:
76  match feb:
77    case True{}:
78      Some{Date.dim.feb(leap)}
79    case False{}:
80      Date.dim.rest(m)

Uses (5)

Used by (1)