def idle.since

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

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

75def idle.since(+mem: T.Mem, +now: Nat) -> Nat:
76  match mem:
77    case T.Mem{un, isn}:
78      match isn:
79        case None{}:
80          now
81        case Some{t}:
82          t