def noticed_left
bendvy-ecs-core@0.1.0.3 · execution_command_removed.bend:52
import bendvy-ecs-core@0.1.0.3/execution_command_removed.bend as ExecutionCommandRemoved
import Base
import bendvy-ecs-core@0.1.0.3/execution_lifecycle_notices.bend as Notice
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
52def noticed_left(~S:Data,-left:Layout.Layout,-right:Layout.Layout,noticeRight:Notice.Identity<S> -> Tick.Tick -> Notice.Journal<S> -> Removed(right) -> Notice.Journal<S> & Removed(right),entity:Notice.Identity<S>,tick:Tick.Tick,rightOwner:Removed(right),result:Notice.Journal<S> & Removed(left)) -> Notice.Journal<S> & Removed(Layout.LayoutPair{left,right}):
53 match result:
54 case (journal,leftOwner):noticed_right(~S,left,right,leftOwner,noticeRight(entity,tick,journal,rightOwner))