~/jendhub

def mono.ms

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

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

167# Monotonic milliseconds. Pure cores that take a Nat `now` in ms take this.
168def mono.ms() -> IO(Nat):
169  do IO<Nat>:
170    d : Duration <- mono()
171    return Duration.to_ms_nat(d)

Uses (7)

Used by (1)