ExecutionQueryDomain.contains_list: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query_domain.bend as ExecutionQueryDomain
Lines 14-17 of bendvy-ecs-core@0.1.0.3/execution_query_domain.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_domain.bend&start_line=14&end_line=17

import Base

def contains_list(+offset:U32,offsets:List<&2,U32>) -> Bool:
  match offsets:
    case []:False{}
    case +head <> tail:Bool.or(U32.is_eq(offset,head),contains_list(offset,tail))

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=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq