~/jendhub

def descriptor_present

bendvy-ecs-core@0.1.0.3 · schema_fragments.bend:158

import bendvy-ecs-core@0.1.0.3/schema_fragments.bend as SchemaFragments
import Base

158def descriptor_present(~S:Data,xs:List<&2,Entry<S>>,+item:Entry<S>) -> Bool:
159  match xs:
160    case []:False{}
161    case head <> rest:Bool.or(descriptor_equal(~S,bare_entry(~S,head),bare_entry(~S,item)),descriptor_present(~S,rest,item))

Uses (6)

Used by (1)