def mono.us

bend-kit-time@0.3.0.0 · time.bend:173

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

173# Monotonic microseconds.
174def mono.us() -> IO(Nat):
175  do IO<Nat>:
176    d : Duration <- mono()
177    return Duration.to_us_nat(d)

Uses (7)

Used by (0)

No other definition uses this definition.