~/jendhub

def select_boundary

bendvy-ecs-core@0.1.0.4 · internal/relation_failures/domains.bend:28

import bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend as Domains
import Base

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

Uses (3)

Used by (1)