def retained_one
bendvy-ecs-core@0.1.0.4 · ordinary_event_family.bend:66
import bendvy-ecs-core@0.1.0.4/ordinary_event_family.bend as OrdinaryEventFamily
import Base
import owner_product.bend as Product
import event_publication.bend as Publication
66def retained_one(~A:Data,~B:Data,~FA:Type,~FB:Type,~retainA:FA -> Nat -> List<&2,A> -> FA & List<&2,A>,~retainB:FB -> Nat -> List<&2,B> -> FB & List<&2,B>,+tick:Nat,record:Publication.Publication<A,B>,family:Product.Owner<FA,FB>) -> Product.Owner<FA,FB> & Publication.Publication<A,B>:
67 match record family:
68 case Publication.Publication{a,b} Product.Owner{first,second}:retained_one_children(~A,~B,~FA,~FB,retainA(first,tick,a),retainB(second,tick,b))