~/jendhub

def reserve.go

cswap-bend-cli@0.1.0.0 · ustore.bend:182

import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore
import Base

182def reserve.go(ids: List<&2, Id>, rr: RR, +now: U32, +respect: Bool, +repair: Bool, +tick: Nat) -> RR:
183  match ids rr:
184    case Nil{} _:
185      rr
186    case Con{+id, t} RR{+rows, won}:
187      reserve.go(t, reserve.row(row_of(rows, id), rows, id, claim_id(slot_of(id), now, tick), now, respect, repair, won), now, respect, repair, 1n+tick)

Uses (10)

Used by (1)