def Bind

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

import Base

5def Bind(~F:Type -> Type) -> Type:
6  @-A:Type -> @-B:Type -> F(A) -> (A -> F(B)) -> F(B)

Uses (0)

This definition uses no other definition.