def Date.end_of_month.go
import bend-time-lib@0.4.0.1/date.bend as Dateimport Base
139def Date.end_of_month.go(
140 +y: U32, +m: U32, r: Result<&2, &2, Date.Error, U32>
141) -> Result<&2, &2, Date.Error, Date>:
142 match r:
143 case Fail{e}:
144 Fail{e}
145 case Done{dim}:
146 Done{Date{y, m, dim}}