~/jendhub

def add_checked

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

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

20def add_checked(found: Bool,ids: List<&2,U32>,id: U32) -> List<&2,U32>:
21  match found:
22    case True{}: ids
23    case False{}: id <> ids

Uses (3)

Used by (1)