def hold_boundary

bendvy-ecs-core@0.1.0.4 · event_runtime.bend:65

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

import Base

65def hold_boundary(positions: List<&2,Position>,+boundary: Nat) -> Nat:
66  match positions:
67    case []: boundary
68    case Position{_,cursor,_} <> rest: hold_boundary(rest,Nat.min(boundary,cursor))

Uses (4)

Used by (3)