def Date.dim

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

import Base

82def Date.dim(+m: U32, leap: Bool) -> Maybe<&2, U32>:
83  Date.dim.m(m, leap, U32.is_eq(m, 2))

Uses (5)