def pair

bendvy-ecs-core@0.1.0.4 · ordinary_check_query.bend:42

import bendvy-ecs-core@0.1.0.4/ordinary_check_query.bend as OrdinaryCheckQuery
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_check_declaration.bend as D
import bendvy-ecs-core@0.1.0.4/inspector_query_projection.bend as Q

42def pair(~H:Type,~S:Data,~A:Data,~B:Data,~left:Selection<H,S,A>,~right:Selection<H,S,B>) -> Selection<H,S,Q.Product<A,B>>:
43  Selection{Q.pair(~H,~S,~A,~B,~selected(~H,~S,~A,left),~selected(~H,~S,~B,right)),List.append(&2,D.Use,uses(~H,~S,~A,left),uses(~H,~S,~B,right))}

Uses (7)

Used by (0)

No other definition uses this definition.