ExecutionQueryLifecycle.whole_right: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query_lifecycle.bend as ExecutionQueryLifecycle
Lines 16-18 of bendvy-ecs-core@0.1.0.3/execution_query_lifecycle.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_lifecycle.bend&start_line=16&end_line=18

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L
import bendvy-ecs-core@0.1.0.3/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.3/lifecycle.bend as Life

def whole_right(~S:Data,-left:L.Layout,-right:L.Layout,other:L.columns(~S,left),result:L.columns(~S,right) & Life.Stamp) -> L.columns(~S,L.LayoutPair{left,right}) & Life.Stamp:
  match result:
    case (owner,stamp):(Product.Owner{other,owner},stamp)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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/execution_composer_layout.bend&name=columns
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/lifecycle.bend&name=Stamp
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owner_product.bend&name=Owner