def Date.dim.rest

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

import Base

72def Date.dim.rest(+m: U32) -> Maybe<&2, U32>:
73  Date.dim.rest2(m, Date.is_31(m))

Uses (4)