~/jendhub

def when.date.ok

emerging-eztoml@0.9.0.0 · main.bend:1006

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

1006# a date whose fields are in range: the day within its month in that year
1007def when.date.ok(+yy: U32, +mo: U32, +dd: U32, cs: List<&2, Char>) -> WhenOut:
1008  when.date.ok.go(bound.rng(mo, 1, 12), bound.rng(dd, 1, when.days(yy, mo)), yy, mo, dd, cs)

Uses (7)

Used by (1)