def prepend_offset

bendvy-ecs-core@0.1.0.3 · execution_query_identity.bend:62

import Base

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