Clibase.times: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/clibase.bend as Clibase
Lines 90-95 of cswap-bend-cli@0.1.0.0/clibase.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/clibase.bend&start_line=90&end_line=95

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

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

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.now
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=lift
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clibase.bend&name=ActM
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clibase.bend&name=ActM.bind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clibase.bend&name=ActM.pure
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clibase.bend&name=Tm
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=now_s
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage.bend&name=local_offset