def Time.civil.fin
import bend-kube-runtime@0.2.0.0/src/time.bend as Timeimport Base
35def Time.civil.fin(+y: U32, +doy: U32, +mp: U32) -> Civil:
36 Civil{Time.civil.year(y, Time.civil.month(mp)), Time.civil.month(mp),
37 (doy - (153 * mp + 2) / 5 + 1 : U32)}