Domains.boundary: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend as Domains
Lines 33-36 of bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend&start_line=33&end_line=36

import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev

def boundary(positions: List<&2,Ev.Position>,+ids: List<&2,U32>,acc: Nat) -> Nat:
  match positions:
    case []: acc
    case Ev.Position{id,cursor,_} <> rest: boundary(rest,ids,select_boundary(member(ids,id),cursor,acc))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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.4/event_runtime.bend&name=Position
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend&name=member
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend&name=select_boundary