ExecutionLifecycleNotices.starting_generic: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_lifecycle_notices.bend as ExecutionLifecycleNotices
Lines 110-113 of bendvy-ecs-core@0.1.0.3/execution_lifecycle_notices.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifecycle_notices.bend&start_line=110&end_line=113

import Base

def starting_generic(-S:Data,start:Start,channel:Channel<S>) -> Nat:
  match start channel:
    case Retained{} Channel{_,_,_,_,floor}:floor
    case Future{} Channel{_,next,_,_,_}:Nat.sub(next,1n)

Uses (4):
  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_lifecycle_notices.bend&name=Channel
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifecycle_notices.bend&name=Start