~/jendhub

def decoded

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

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

41def decoded(~V:Data,~same:V -> V -> Bool,values:Maybe<&2,List<&2,V>>,value:Maybe<&2,V>) -> Dispatch:
42  match value:
43    case None{}:Invalid{}
44    case Some{value}:selected(permitted(~V,~same,value,values))

Uses (6)

Used by (1)