def decoded_install

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

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

59def decoded_install(~S:Data,~K:Data,~V:Data,state:Init.State<S,K,V>,value:Maybe<&2,V>) -> Init.State<S,K,V>:
60  match value:
61    case None{}:state
62    case Some{value}:installed(~S,~K,~V,state,value)

Uses (3)

Used by (1)