~/jendhub

def bind.rec

cswap-bend-cli@0.1.0.0 · policy/rank.bend:124

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

124# When the binding window comes back; inf when unknown or already past.
125def bind.rec(+ws: List<&2, T.Win>, +now: Nat) -> Maybe<&2, Nat>:
126  bind.rec.of(win.bind(ws, None{}), now)

Uses (6)

Used by (1)