def next_declared

bendvy-ecs-core@0.1.0.4 · machine.bend:156

import Base
import transaction.bend as Tx

156def next_declared(~S: Data,~M: Data,~V: Data,~W: Type,~E: Data,
157  ~take: W -> W & Slot<S,M,V>,~put: W -> Slot<S,M,V> -> W,
158  _: Family<S,M,V,W,take,put>,tx: Tx.Tx<W,E>,request: QueueInput<V>) -> Tx.Tx<W,E>:
159  next(~S,~M,~V,~W,~E,~take,~put,tx,request)