ExecutionEffects.Mapping: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_effects.bend as ExecutionEffects
Lines 7-8 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=7&end_line=8

import Base

def Mapping(~F:Type -> Type) -> Type:
  @-A:Type -> @-B:Type -> F(A) -> (A -> B) -> F(B)

Uses (0):