~/jendhub

def earliest_reset

cswap-bend-cli@0.1.0.0 · poll.bend:150

import cswap-bend-cli@0.1.0.0/poll.bend as Poll
import Base

150# The earliest reset of any relevant window (past or future): trust ends there.
151def earliest_reset(ws: List<&2, Win>, acc: Maybe<&2, U32>) -> Maybe<&2, U32>:
152  match ws:
153    case Nil{}:
154      acc
155    case Con{Win{p, r}, t}:
156      earliest_reset(t, any.step(r, acc))

Uses (5)

Used by (1)