def Program

bendvy-ecs-core@0.1.0.3 · execution_builder.bend:114

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

114def Program(~S:Data,~WC:Type,~C:Type,~R:Type,~Ops:Data -> (Type -> Type) -> Type -> Type) -> Type:
115  @-Permit:Data -> @-F:(Type -> Type) -> @-effects:E.Effects<F> -> @-H:Type -> @-B:Type -> @-builder:Builder(~S,~WC,~C,~R,~Permit,~F,~H,~B) -> B -> B & Ops(Permit,F,H)