def unique_add

bendvy-ecs-core@0.1.0.4 · schedule_provision.bend:45

import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as ScheduleProvision
import Base

45def unique_add(~S: Data,present: Bool,+item: Requirement<S>,rest: List<&2,Requirement<S>>) -> List<&2,Requirement<S>>:
46  match present:
47    case True{}: rest
48    case False{}: item <> rest

Uses (3)

Used by (1)