def member

bendvy-ecs-core@0.1.0.4 · restore_graph_machine.bend:29

import bendvy-ecs-core@0.1.0.4/restore_graph_machine.bend as RestoreGraphMachine

import Base

29def member(~V:Data,~same:V -> V -> Bool,+value:V,values:List<&2,V>) -> Bool:
30  match values:
31    case []:False{}
32    case other <> rest:Bool.or(same(value,other),member(~V,~same,value,rest))

Uses (3)

Used by (1)

bendvy-ecs-core@0.1.0.4/restore_graph_machine:permitted