~/jendhub

def Date.dim.rest2

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

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

65def Date.dim.rest2(+m: U32, d31: Bool) -> Maybe<&2, U32>:
66  match d31:
67    case True{}:
68      Some{31}
69    case False{}:
70      Date.dim.rest3(m, Date.is_30(m))

Uses (5)

Used by (1)