def Removed

bendvy-ecs-core@0.1.0.3 · execution_command_removed.bend:9

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

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