def clock

bend-kit-hairpin@0.13.0.1 · hairpin.bend:206

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

206# The clock, read only when a decision depends on it; 0 otherwise, which no such decision reads.
207def clock(need: Bool) -> IO(Nat):
208  match need:
209    case True{}:
210      Time.mono.ms()
211    case False{}:
212      IO.pure(Nat, 0n)