Capabilities.invoke_owned: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/capabilities.bend as Capabilities
Lines 150-155 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=150&end_line=155

import Base

# Args and output are fixed before opaque H; no Data restriction on owners.
# Invoke the universally quantified body with affine arguments/output.
# The callback consumes/returns H and consumes A exactly according to its
# signature; any error/recovery branches belong to its own output contract.
def invoke_owned(~Ops:Type -> Type,~A:Type,~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