def mem.unknown

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

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

103# Counters after a tick whose active headroom is unknown.
104def mem.unknown(+expired: Bool, +mem: T.Mem, +now: Nat, +ut: Nat) -> T.Mem:
105  match expired:
106    case False{}:
107      T.fresh_mem()
108    case True{}:
109      mem.hold(idle.held(mem, now), mem, now, ut)