def idle.held

cswap-bend-cli@0.1.0.0 · policy/decide.bend:89

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T

89# The idle hold lasts 30 minutes from the first expired tick.
90def idle.held(+mem: T.Mem, +now: Nat) -> Bool:
91  Nat.is_le(Nat.sub(now, idle.since(mem, now)), 1800n)