def first_tick

cswap-bend-cli@0.1.0.0 · daemon/auto.bend:307

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tk

307def first_tick(+r: Run) -> Act.of(Tk.Out):
308  do ActM<Tk.Out>:
309    +o : Tk.Out <- tick_safe(env_of(r, T.fresh_mem(), False{}))
310    return tagged(r, o)