~/jendhub

def valid

cswap-bend-cli@0.1.0.0 · clock.bend:106

import cswap-bend-cli@0.1.0.0/clock.bend as Clock
import Base

106def valid(+y: U32, +mo: U32, +d: U32, +h: U32, +mi: U32, +s: U32) -> Bool:
107  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)
108    && U32.is_lt(h, 24) && U32.is_lt(mi, 60) && U32.is_lt(s, 60)

Uses (6)

Used by (1)