def both

bendvy-ecs-core@0.1.0.3 · inspector_query_projection.bend:128

import Base

128# Conjoin two predicates left then right, short-circuiting on false.
129# Retains H even when a predicate rejects; raw callback effects are trusted.
130def both(~H:Type,~S:Data,~left:Predicate<H,S>,~right:Predicate<H,S>) -> Predicate<H,S>:
131  Predicate{predicate_both(~H,~S,predicate_field(~H,~S,left),predicate_field(~H,~S,right))}