~/jendhub

def wf.date

emerging-eztoml@0.9.0.0 · main.bend:6220

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base

6220# a date: a four-digit year, a month, and a day within that month in that year
6221def wf.date(dd: Date) -> Bool:
6222  Date{+y, +mo, +day} = dd
6223  Bool.and(U32.is_le(y, 9999), Bool.and(bound.rng(mo, 1, 12), bound.rng(day, 1, when.days(y, mo))))

Uses (6)

Used by (1)