Clock.valid: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/clock.bend as Clock
Lines 106-108 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=106&end_line=108

import Base

def valid(+y: U32, +mo: U32, +d: U32, +h: U32, +mi: U32, +s: U32) -> Bool:
  U32.is_ge(y, 1970) && U32.is_ge(mo, 1) && U32.is_le(mo, 12) && U32.is_ge(d, 1) && U32.is_le(d, 31)
    && U32.is_lt(h, 24) && U32.is_lt(mi, 60) && U32.is_lt(s, 60)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ge
  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.is_lt