ExecutionSystem.Body: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_system.bend as ExecutionSystem
Lines 15-16 of bendvy-ecs-core@0.1.0.3/execution_system.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_system.bend&start_line=15&end_line=16

import Base
import bendvy-ecs-core@0.1.0.3/execution_effects.bend as E

def Body(~S:Data,~Ops:Data -> (Type -> Type) -> Type -> Type,~Local:Type,~Error:Data,~Out:Data) -> Type:
  @-Permit:Data -> @-F:(Type -> Type) -> @-effects:E.Effects<F> -> @-H:Type -> @-caps:Ops(Permit,F,H) -> H -> Local -> F(H & (Local & Completion<Error,Out>))

Uses (3):
  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.3/execution_effects.bend&name=Effects
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_system.bend&name=Completion