def named

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

import Base
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D

49def named(~V:Data,~decode:D.Raw -> Maybe<&2,V>,~same:V -> V -> Bool,found:Bool,values:Maybe<&2,List<&2,V>>,+raw:D.Raw,codec:D.Codec) -> Dispatch:
50  match found:
51    case False{}:Unhandled{}
52    case True{}:checked(~V,~decode,~same,values,D.validate(100000n,D.Continue{[D.Work{codec,raw,"$"}]},raw))