def floor_after_generic

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

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

import Base

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

Uses (3)

Used by (2)