def unique

bendvy-ecs-core@0.1.0.4 · ordinary_checked_bindings.bend:55

import bendvy-ecs-core@0.1.0.4/ordinary_checked_bindings.bend as OrdinaryCheckedBindings

import Base

55def unique(values:List<&2,Description>,+seen:List<&2,U32>) -> Bool:
56  match values:
57    case []:True{}
58    case Description{+id,_} <> rest:Bool.and(Bool.not(contains(seen,id)),unique(rest,id <> seen))

Uses (7)

Used by (2)