Usage.win.soonest: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usage Lines 139-146 of cswap-bend-cli@0.1.0.0/policy/usage.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/usage.bend&start_line=139&end_line=146 import Base import cswap-bend-cli@0.1.0.0/policy/types.bend as T # The soonest reset among the relevant windows (past ones included): once it # passes, that window is zeroed and the snapshot is obsolete. def win.soonest(+ws: List<&2, T.Win>, +acc: Maybe<&2, Nat>) -> Maybe<&2, Nat>: match ws: case Nil{}: acc case Con{w, t}: win.soonest(t, soon.min(acc, win.reset(w))) Uses (6): 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=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Win https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/usage.bend&name=soon.min https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/usage.bend&name=win.reset