Bar.recovered: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/bar.bend as Bar
Lines 89-98 of cswap-bend-cli@0.1.0.0/policy/bar.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/bar.bend&start_line=89&end_line=98

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

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

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/bar.bend&name=recov.snap
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Usage