def starting

bendvy-ecs-core@0.1.0.3 · execution_event_family.bend:64

import Base

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