def noticed_right
bendvy-ecs-core@0.1.0.3 · execution_command_removed.bend:49
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/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/owner_product.bend as Product
49def noticed_right(~S:Data,-left:Layout.Layout,-right:Layout.Layout,leftOwner:Removed(left),result:Notice.Journal<S> & Removed(right)) -> Notice.Journal<S> & Removed(Layout.LayoutPair{left,right}):
50 match result:
51 case (journal,rightOwner):(journal,Product.Owner{leftOwner,rightOwner})