def read_checked_lens
bendvy-ecs-core@0.1.0.3 · execution_layout_access.bend:106
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
106def read_checked_lens(-S:Data,-R:Type,-layout:Layout.Layout,-route:Layout.Route,same:{R == Layout.resources_generic(S,layout) : Type},lens:Product.Lens<Layout.resources_generic(S,layout),read_slot_type(S,layout,route),Layout.resource_rest_generic(S,layout,route)>) -> Product.Lens<R,read_slot_type(S,layout,route),Layout.resource_rest_generic(S,layout,route)>:
107 %Equal.sym(Type,R,Layout.resources_generic(S,layout),same) : Product.Lens<_,read_slot_type(S,layout,route),Layout.resource_rest_generic(S,layout,route)>
108 lens