~/jendhub

def scope_seen

bendvy-ecs-core@0.1.0.4 · feature_provision.bend:17

import bendvy-ecs-core@0.1.0.4/feature_provision.bend as FeatureProvision
import Base
import bendvy-ecs-core@0.1.0.4/schema_fragments.bend as SF

17def scope_seen(~S:Data,items:List<&2,SF.Entry<S>>,+seen:List<&2,SF.Entry<S>>) -> List<&2,SF.Entry<S>>:
18  match items:
19    case Nil{}: Nil{}
20    case +item <> rest: scope_keep(~S,SF.descriptor_present(~S,seen,item),item,scope_seen(~S,rest,Con{item,seen}))

Uses (4)

Used by (1)