ExecutionLifecycleNotices.floor_after_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 75-78 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=75&end_line=78

import Base

def floor_after_generic(-S:Data,rows:List<&2,Row<S>>,floor:Nat) -> Nat:
  match rows:
    case []:floor
    case Row{sequence,_,_} <> rest:floor_after_generic(S,rest,sequence)

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