def read

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

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_declaration.bend as Ordinary
import bendvy-ecs-core@0.1.0.4/ordinary_machine_initialization.bend as Init
import bendvy-ecs-core@0.1.0.4/machine.bend as M

26def read(~S:Data,~K:Data,~V:Data,~encode:V -> D.Raw,~DeclaredOwner:Type,~take:DeclaredOwner -> DeclaredOwner & M.Slot<S,K,V>,~declaration:Ordinary.Declaration<S,K,V,DeclaredOwner,take>,state:Init.State<S,K,V>) -> Init.State<S,K,V> & List<&2,D.Field>:
27  match state:
28    case Init.State{+slot,+stream,+revision}:(Init.State{slot,stream,revision},encoded(~S,~K,~V,~encode,Ordinary.name(~S,~K,~V,~DeclaredOwner,~take,declaration),slot))