Capabilities.invoke: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/capabilities.bend as Capabilities
Lines 128-133 of bendvy-ecs-core@0.1.0.3/capabilities.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/capabilities.bend&start_line=128&end_line=133

import Base

# One executor for every caller-authored finite capability shape.
# Invoke a reusable universally quantified body with Data arguments and
# declared Ops(H). H remains opaque to the body; closed caps must implement
# the intended operations. This dispatcher adds no transaction or World checks.
def invoke(~Ops: Type -> Type,~A: Data,~U: Type,~body: @-H: Type -> @-caps: Ops(H) -> A -> H -> H & U,~H: Type,~caps: Ops(H),args: A,ctx: H) -> H & U:
  body(H,caps,args,ctx)

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair