def Pure

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

import Base

3def Pure(~F:Type -> Type) -> Type:
4  @-R:Type -> R -> F(R)

Uses (0)

This definition uses no other definition.