def left_read

bendvy-ecs-core@0.1.0.4 · restore_graph_machine.bend:78

import Base
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product

78def left_read(~L:Type,~Right:Type,~readRight:Right -> Right & List<&2,D.Field>,right:Right,result:L & List<&2,D.Field>) -> Product.Owner<L,Right> & List<&2,D.Field>:
79  match result:
80    case (left,fields):joined_read(~L,~Right,left,fields,readRight(right))