def read_lens_left_description
bendvy-ecs-core@0.1.0.3 · execution_layout_access.bend:53
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
import bendvy-ecs-core@0.1.0.3/owner_product.bend as Product
53def read_lens_left_description(-S:Data,-left:Layout.Layout,-right:Layout.Layout,-route:Layout.Route,result:String & Product.Lens<Layout.resources_generic(S,left),read_slot_type(S,left,route),Layout.resource_rest_generic(S,left,route)>) -> String & Product.Lens<Layout.resources_generic(S,Layout.LayoutPair{left,right}),read_slot_type(S,Layout.LayoutPair{left,right},Layout.InLeft{route}),Layout.resource_rest_generic(S,Layout.LayoutPair{left,right},Layout.InLeft{route})>:
54 match result:
55 case (key,lens):(key,read_lens_left(S,left,right,route,lens))