Compose.both: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/compose.bend as Compose
Lines 171-175 of bendvy-ecs-core@0.1.0.4/compose.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/compose.bend&start_line=171&end_line=175

import Base

# Conjoin predicates left before right, passing the actual returned Frame onward.
# False short-circuits right and preserves the owner returned by left; True passes
# that owner to right. See examples/query-composition/declarations.bend.
def both(~S: Data,~Store: Type,~R: Type,~E: Data,~left: Frame<S,Store,R,E> -> Frame<S,Store,R,E> & Bool,~right: Frame<S,Store,R,E> -> Frame<S,Store,R,E> & Bool,frame: Frame<S,Store,R,E>) -> Frame<S,Store,R,E> & Bool:
  and_join(~S,~Store,~R,~E,~right,left(frame))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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/compose.bend&name=and_join