ExecutionEffects.bind: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_effects.bend as ExecutionEffects
Lines 16-18 of bendvy-ecs-core@0.1.0.3/execution_effects.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_effects.bend&start_line=16&end_line=18

import Base

def bind(~F:Type -> Type,-A:Type,-B:Type,effects:Effects<F>,action:F(A),next:A -> F(B)) -> F(B):
  match effects:
    case Effects{_,bind,_}:bind(A,B,action,next)

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_effects.bend&name=Effects