def Body

bendvy-ecs-core@0.1.0.3 · execution_system.bend:15

import bendvy-ecs-core@0.1.0.3/execution_system.bend as ExecutionSystem

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

15def Body(~S:Data,~Ops:Data -> (Type -> Type) -> Type -> Type,~Local:Type,~Error:Data,~Out:Data) -> Type:
16  @-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)

Used by (51)