def times

cswap-bend-cli@0.1.0.0 · clibase.bend:90

import Base
import cswap-bend-cli@0.1.0.0/usage.bend as Usage
import cswap-bend-cli@0.1.0.0/clock.bend as Clock
import cswap-bend-cli@0.1.0.0/act.bend as Act

90def times() -> Act.of(Tm):
91  do ActM<Tm>:
92    now : U32 <- Act.lift(U32, Clock.now_s())
93    off : U32 <- Act.lift(U32, Usage.local_offset())
94    tick : Nat <- Act.lift(Nat, IO.now())
95    return Tm{now, off, tick}