ExecutionComposerLayout.rewrite_view: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as ExecutionComposerLayout
Lines 92-94 of bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&start_line=92&end_line=94

import Base

def rewrite_view(-P:Type,-V:Data,-Out:Type,initialize:P -> Viewed<P,V>,transform:P -> P & Out,value:Viewed<P,V>) -> Viewed<P,V> & Out:
  match value:
    case Viewed{owner,_}:rewritten(P,Viewed<P,V>,Out,initialize,transform(owner))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Viewed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=rewritten