~/jendhub

def PairOps

bendvy-ecs-core@0.1.0.4 · ordinary_check_declaration.bend:58

import bendvy-ecs-core@0.1.0.4/ordinary_check_declaration.bend as OrdinaryCheckDeclaration
import Base
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

58# A single reached predicate may request several declared reads. Validation
59# threads the original World in authored order and retains each returned name.
60def PairOps(~L:Type -> Type,~R:Type -> Type,H:Type) -> Type:Cap.Bundle<L(H),R(H)>

Uses (1)

Used by (1)