def contains_list

bendvy-ecs-core@0.1.0.3 · execution_query_domain.bend:14

import bendvy-ecs-core@0.1.0.3/execution_query_domain.bend as ExecutionQueryDomain

import Base

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

Uses (5)

Used by (2)