def Date.days_in_month

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

import Base

134def Date.days_in_month(date: Date) -> Result<&2, &2, Date.Error, U32>:
135  match date:
136    case Date{+y, +m, _}:
137      Date.dim_of(y, m)

Uses (5)

U32
Result
bend-time-lib@0.4.0.1/date:Date
bend-time-lib@0.4.0.1/date:Date.Error
bend-time-lib@0.4.0.1/date:Date.dim_of

Used by (0)

No other definition uses this definition.