~/jendhub

def subset

bendvy-ecs-core@0.1.0.3 · relation_reorder_core.bend:20

import bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend as RelationReorderCore
import Base
import entity_key.bend as K
import relation_graph.bend as C

20def subset(a: List<&2,K.Key>,+b: List<&2,K.Key>) -> Bool:
21  match a:
22    case []: True{}
23    case x <> rest: Bool.and(C.contains(b,x),subset(rest,b))

Uses (5)

Used by (1)