Auto.nap: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/daemon/auto.bend as Auto
Lines 325-328 of cswap-bend-cli@0.1.0.0/daemon/auto.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/daemon/auto.bend&start_line=325&end_line=328

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act

# Tick, record, sleep, repeat. Not terminating by construction: kept in this
# module, which no proof imports.
def nap(+delay: U32) -> Act.of(Unit):
  Act.lift(Unit, IO.sleep((delay * 1000 : U32)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.sleep
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  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