Clock.days: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/clock.bend as Clock
Lines 116-118 of cswap-bend-cli@0.1.0.0/clock.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&start_line=116&end_line=118

import Base

# Days since 1970-01-01 of a civil date (days_from_civil; y >= 1970).
def days(+y: U32, +m: U32, +d: U32) -> U32:
  days.fin(sel(U32.is_le(m, 2), (y - 1 : U32), y), sel(U32.is_gt(m, 2), (m - 3 : U32), (m + 9 : U32)), d)

Uses (7):
  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.is_gt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=days.fin
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=sel