Time.Time.civil.fin: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/time.bend as Time
Lines 35-37 of bend-kube-runtime@0.2.0.0/src/time.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&start_line=35&end_line=37

import Base

def Time.civil.fin(+y: U32, +doy: U32, +mp: U32) -> Civil:
  Civil{Time.civil.year(y, Time.civil.month(mp)), Time.civil.month(mp),
    (doy - (153 * mp + 2) / 5 + 1 : U32)}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&name=Civil
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&name=Time.civil.month
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&name=Time.civil.year