ExecutionEventFamily.starting: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_event_family.bend as ExecutionEventFamily
Lines 64-67 of bendvy-ecs-core@0.1.0.3/execution_event_family.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_event_family.bend&start_line=64&end_line=67

import Base

def starting(start:Start,next:Nat) -> Nat:
  match start:
    case Retained{}:0n
    case Future{}:Nat.sub(next,1n)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_event_family.bend&name=Start