def highest

bendvy-ecs-core@0.1.0.3 · execution_event_family.bend:92

import bendvy-ecs-core@0.1.0.3/execution_event_family.bend as ExecutionEventFamily

import Base

92def highest(ids:List<&2,Nat>,+initial:Nat) -> Nat:
93  match ids:
94    case []:initial
95    case id <> rest:highest(rest,Nat.max(initial,id))

Uses (3)

Used by (2)