~/jendhub

def nap

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

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

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

Uses (6)

Used by (1)