~/jendhub

def permitted

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

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

33def permitted(~V:Data,~same:V -> V -> Bool,value:V,values:Maybe<&2,List<&2,V>>) -> Bool:
34  match values:
35    case None{}:True{}
36    case Some{values}:member(~V,~same,value,values)

Uses (4)

Used by (1)