def earliest

cswap-bend-cli@0.1.0.0 · policy/exhaust.bend:171

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

171# Earliest moment any blocked account (the live one included) is usable
172# again; None when it cannot be proven.
173def earliest(+as: List<&2, T.Account>, +us: List<&2, T.Usage>, +now: Nat, +ms: List<&2, String>, +e: Er) -> Er:
174  match as:
175    case Nil{}:
176      e
177    case Con{a, t}:
178      earliest(t, us, now, ms, er.step(e, br.row(U.usage.of(U.account.slot(a), us), now, ms), now))