def nr.state

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

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

139def nr.state(+st: T.State, +current: Nat, +rec: Bool, +us: List<&2, T.Usage>, +ah: Maybe<&2, Nat>, +thr: Nat, +now: Nat, +ms: List<&2, String>) -> Maybe<&2, Nat>:
140  match st:
141    case T.State{la, lt, lf, sn}:
142      match lf:
143        case None{}:
144          None{}
145        case Some{f}:
146          nr.landed(landed_away(lt, current), f, rec, U.head.row(U.usage.of(f, us), now, ms), ah, thr)