ExecutionQuerySchema.present_offsets: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query_schema.bend as ExecutionQuerySchema
Lines 92-98 of bendvy-ecs-core@0.1.0.3/execution_query_schema.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_schema.bend&start_line=92&end_line=98

import Base
import bendvy-ecs-core@0.1.0.3/execution_query_matches.bend as Q

def present_offsets(-V:Data,rows:List<&2,Q.Row<V>>) -> List<&2,U32>:
  match rows:
    case []:[]
    case Q.Row{_,None{}} <> rest:present_offsets(V,rest)
    case Q.Row{offset,Some{_}} <> rest:offset <> present_offsets(V,rest)
    case Q.StampedRow{_,None{},_} <> rest:present_offsets(V,rest)
    case Q.StampedRow{offset,Some{_},_} <> rest:offset <> present_offsets(V,rest)

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