def mem.known

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

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

111def mem.known(+ah: Maybe<&2, Nat>, +expired: Bool, +mem: T.Mem, +now: Nat, +ut: Nat) -> T.Mem:
112  match ah:
113    case Some{a}:
114      T.fresh_mem()
115    case None{}:
116      mem.unknown(expired, mem, now, ut)