RecognizedQueryDeclaration.pair: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend as RecognizedQueryDeclaration
Lines 72-78 of bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend&start_line=72&end_line=78

import Base
import bendvy-ecs-core@0.1.0.4/compose.bend as Q
import bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend as N
import bendvy-ecs-core@0.1.0.4/internal/compact_operational_frame.bend as F

# Combine two declarations for the same schema/store/resource owners.
# The body receives (leftCaps, rightCaps) in that order. Selection runs left first;
# if it returns False, right is not called, and the returned owner is preserved.
# The ordinary form keeps the same clause order, including duplicate clauses;
# this does not promise that two grants refer to disjoint component columns.
def pair(~S:Data,~Store:Type,~R:Type,~E:Data,~L:Type -> Type,~Right:Type -> Type,~left:Declaration<S,Store,R,E,L>,~right:Declaration<S,Store,R,E,Right>) -> Declaration<S,Store,R,E,H => L(H) & Right(H)>:
  Declaration{_=>N.pair(~S,~Q.Frame<S,Store,R,E>,~L(Q.Frame<S,Store,R,E>),~Right(Q.Frame<S,Store,R,E>),~ordinary(~S,~Store,~R,~E,~L,left),~ordinary(~S,~Store,~R,~E,~Right,right)),_=>pair_caps(~S,~Store,~R,~E,~L,~Right,~left,~right),F.both(~S,~Store,~R,~E,~selector(~S,~Store,~R,~E,~L,left),~selector(~S,~Store,~R,~E,~Right,right))}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/compose.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/compact_operational_frame.bend&name=both
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend&name=pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend&name=Declaration
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend&name=ordinary
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend&name=pair_caps
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend&name=selector