ExecutionQueryIdentity.prepend_offset: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query_identity.bend as ExecutionQueryIdentity
Lines 62-65 of bendvy-ecs-core@0.1.0.3/execution_query_identity.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_identity.bend&start_line=62&end_line=65

import Base

def prepend_offset(~S:Data,tail:Maybe<&2,List<&2,U32>>,checked:Offset<S>) -> Maybe<&2,List<&2,U32>>:
  match tail checked:
    case Some{tail} Physical{_,offset}:Some{offset <> tail}
    case _ _:None{}

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_identity.bend&name=Offset