~/jendhub

def finished

bendvy-ecs-core@0.1.0.4 · ordinary_dump_render.bend:17

import bendvy-ecs-core@0.1.0.4/ordinary_dump_render.bend as OrdinaryDumpRender
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_dump_filter.bend as Filter

17def finished(~S:Data,~C:Type,row:Filter.Row<S>,result:C & List<&2,Filter.Row<S>>) -> C & List<&2,Filter.Row<S>>:
18  match result:
19    case (store,rows):(store,row <> rows)

Uses (4)

Used by (1)