def read_lens_left_taken
bendvy-ecs-core@0.1.0.3 · execution_layout_access.bend:29
import bendvy-ecs-core@0.1.0.3/execution_layout_access.bend as ExecutionLayoutAccess
import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
29def read_lens_left_taken(-S:Data,-left:Layout.Layout,-right:Layout.Layout,-route:Layout.Route,outer:Layout.resources_generic(S,right),result:Layout.resource_rest_generic(S,left,route) & read_slot_type(S,left,route)) -> Layout.resource_rest_generic(S,Layout.LayoutPair{left,right},Layout.InLeft{route}) & read_slot_type(S,Layout.LayoutPair{left,right},Layout.InLeft{route}):
30 match result:
31 case (inner,slot):((outer,inner),slot)