~/jendhub

def wf.clock

emerging-eztoml@0.9.0.0 · main.bend:6225

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

6225# a time of day: hour, minute and second in range, and a fraction of digits
6226def wf.clock(cc: Clock) -> Bool:
6227  Clock{+h, +mi, +s, frac} = cc
6228  Bool.and(U32.is_le(h, 23), Bool.and(U32.is_le(mi, 59), Bool.and(U32.is_le(s, 60), wf.digits(frac))))

Uses (5)

Used by (1)