Domains.select_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 28-31 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=28&end_line=31

import Base

def select_boundary(registered: Bool,+cursor: Nat,boundary: Nat) -> Nat:
  match registered:
    case False{}: boundary
    case True{}: Nat.min(cursor,boundary)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.min