def starting_generic

bendvy-ecs-core@0.1.0.3 · execution_lifecycle_notices.bend:110

import bendvy-ecs-core@0.1.0.3/execution_lifecycle_notices.bend as ExecutionLifecycleNotices

import Base

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

Uses (4)

Used by (2)