def read_declared

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

import Base
import transaction.bend as Tx

151def read_declared(~S: Data,~M: Data,~V: Data,~W: Type,~E: Data,
152  ~take: W -> W & Slot<S,M,V>,~put: W -> Slot<S,M,V> -> W,
153  _: Family<S,M,V,W,take,put>,tx: Tx.Tx<W,E>) -> Tx.Tx<W,E> & Slot<S,M,V>:
154  read(~S,~M,~V,~W,~E,~take,tx)