def declared_named

bendvy-ecs-core@0.1.0.4 · machine_queue.bend:39

import Base
import bendvy-ecs-core@0.1.0.4/machine.bend as M
import bendvy-ecs-core@0.1.0.4/transaction.bend as Tx

39def declared_named(~S:Data,~K:Data,~V:Data,~W:Type,~E:Data,~take:W -> W & M.Slot<S,K,V>,~put:W -> M.Slot<S,K,V> -> W,~same:V -> V -> Bool,name:String,request:M.QueueInput<V>,checked:Tx.Tx<W,E> & Bool) -> Tx.Tx<W,E>:
40  match checked:
41    case (tx,enabled):declared_record(~W,~E,enabled,name,next(~S,~K,~V,~W,~E,~take,~put,~same,tx,request))