def clock

bend-kit-hairpin@0.14.0.0 · hairpin.bend:194

import Base
import bend-kit-time@0.3.0.0/time.bend as Time

194# The clock, read only when a decision depends on it; 0 otherwise, which no such decision reads.
195def clock(need: Bool) -> IO(Nat):
196  match need:
197    case True{}:
198      Time.mono.ms()
199    case False{}:
200      IO.pure(Nat, 0n)