def Date.end_of_month

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

import Base

148def Date.end_of_month(date: Date) -> Result<&2, &2, Date.Error, Date>:
149  match date:
150    case Date{+y, +m, _}:
151      Date.end_of_month.go(y, m, Date.dim_of(y, m))

Uses (5)

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
bend-time-lib@0.4.0.1/date:Date.end_of_month.go

Used by (0)

No other definition uses this definition.