def joined

bendvy-ecs-core@0.1.0.4 · resource_field_binding.bend:12

import Base
import bendvy-ecs-core@0.1.0.4/schema_fragments.bend as Fragment
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product

12def joined(~S:Data,~L:Type,~R:Type,~LI:Data,~RI:Data,left:Built<S,L,LI>,right:Built<S,R,RI>) -> Built<S,Product.Owner<L,R>,Branch<Built<S,L,LI>,Built<S,R,RI>>>:
13  match left right:
14    case Built{+le,+li} Built{+re,+ri}:Built{List.append(&2,Fragment.Entry<S>,le,re),Branch{Built{le,li},Built{re,ri}}}