~/jendhub

def install_named

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

import bendvy-ecs-core@0.1.0.4/restore_graph_machine.bend as RestoreGraphMachine
import Base
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D
import bendvy-ecs-core@0.1.0.4/ordinary_machine_initialization.bend as Init

63def install_named(~S:Data,~K:Data,~V:Data,~decode:D.Raw -> Maybe<&2,V>,found:Bool,state:Init.State<S,K,V>,raw:D.Raw) -> Init.State<S,K,V>:
64  match found:
65    case False{}:state
66    case True{}:decoded_install(~S,~K,~V,state,decode(raw))

Uses (5)

Used by (1)