def Mapping

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

import Base

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

Uses (0)

This definition uses no other definition.