def mem.hold

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

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

96def mem.hold(+held: Bool, +mem: T.Mem, +now: Nat, +ut: Nat) -> T.Mem:
97  match held:
98    case True{}:
99      T.Mem{0n, Some{idle.since(mem, now)}}
100    case False{}:
101      mem.expired(mem, now, ut)