ExecutionQueryIdentity.checked_range: 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 15-19 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=15&end_line=19

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W

def checked_range(~S:Data,+handle:W.Handle<S>,+capacity:U32,+logical:U32,live:Bool,inRange:Bool) -> Offset<S>:
  match live inRange:
    case False{} _:MissingEntity{handle}
    case True{} False{}:OutsideStorage{handle,capacity}
    case True{} True{}:Physical{handle,U32.sub(logical,1)}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_identity.bend&name=Offset
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=Handle