def recovered

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

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

89# Is the account the engine left a better proposition than when it left it?
90# No record of the departure means release.
91def recovered(+st: T.State, +current: Nat, +us: List<&2, T.Usage>, +ah: Maybe<&2, Nat>, +thr: Nat, +now: Nat, +ms: List<&2, String>) -> Bool:
92  match st:
93    case T.State{la, lt, lf, sn}:
94      match lf:
95        case None{}:
96          True{}
97        case Some{f}:
98          recov.snap(sn, f, current, us, ah, thr, now, ms)