DecodeImmediate.spawn: def of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/decode_immediate.bend as DecodeImmediate Lines 42-44 of bendvy-ecs-core@0.1.0.4/decode_immediate.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/decode_immediate.bend&start_line=42&end_line=44 import Base import bendvy-ecs-core@0.1.0.4/decode_owned_journal.bend as Journal import bendvy-ecs-core@0.1.0.4/decode_requests.bend as Request import bendvy-ecs-core@0.1.0.4/world.bend as W import bendvy-ecs-core@0.1.0.4/transaction.bend as T import bendvy-ecs-core@0.1.0.4/bundle_install.bend as Install def spawn(~S:Data,~C:Type,~R:Type,~E:Data,~P:Type,~Q:Type,~install:W.World -> W.Handle -> Request.Packet

-> Install.Attempt,Request.Packet

,Q>,tx:T.Tx,E>,payload:Request.Packet

) -> T.Tx,E> & (Result<&2,&2,W.WorldError,W.Handle> & (Maybe<&1,Request.Packet

> & (Maybe<&1,Journal.Receipt,Request.Packet

,Q>> & Maybe<&1,Journal.Pending>))): match tx: case T.Tx{world,undo,commands,events,trace}:reserved(~S,~C,~R,~E,~P,~Q,~install,payload,undo,commands,events,trace,W.reserve_id(~S,~C,~R,~E,world)) Uses (13): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_install.bend&name=Attempt https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_immediate.bend&name=reserved https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_owned_journal.bend&name=Pending https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_owned_journal.bend&name=Receipt https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_requests.bend&name=Packet https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Tx https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=Handle https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=WorldError https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=reserve_id