ExecutionCommandRemoved.Removed: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_command_removed.bend as ExecutionCommandRemoved
Lines 9-16 of bendvy-ecs-core@0.1.0.3/execution_command_removed.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_removed.bend&start_line=9&end_line=16

import Base
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

# Structural receipts retain each actual raw owner, including unlike affine
# families. Removing a cached row never invokes its refresher.
def Removed(layout:Layout.Layout) -> Type:
  match layout:
    case Layout.EmptyLayout{}:Unit
    case Layout.LayoutLeaf{P,_,_,_,_}:Maybe<&1,P>
    case Layout.ClassifiedLayoutLeaf{P,_,_,_,_,_}:Maybe<&1,P>
    case Layout.LayoutPair{left,right}:Product.Owner<Removed(left),Removed(right)>

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Layout
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owner_product.bend&name=Owner