def Date.from_days.mp
import bend-time-lib@0.4.0.1/date.bend as Dateimport Base
268def Date.from_days.mp(+doy: U32) -> U32:
269 U32.div(U32.add(U32.mul(5, doy), 2), 153)
import bend-time-lib@0.4.0.1/date.bend as Dateimport Base
268def Date.from_days.mp(+doy: U32) -> U32:
269 U32.div(U32.add(U32.mul(5, doy), 2), 153)