def framework_program

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

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

119def framework_program(~S:Data,~WC:Type,~C:Type,~R:Type,~Ops:Data -> (Type -> Type) -> Type -> Type,~ordinary:Program(~S,~WC,~C,~R,~Ops),~Permit:Data,~token:Permit,~F:Type -> Type,~effects:E.Effects<F>,~request:Permit -> F(W.Reservation<S>),~H:Type,~B:Type,~builder:Builder(~S,~WC,~C,~R,~Permit,~F,~H,~B),book:B) -> B & Ops(Permit,F,H):
120  ordinary(Permit,F,effects,H,B,builder,book)