def inserted

bendvy-ecs-core@0.1.0.4 · ordinary_machine_initialization.bend:47

import Base

47def inserted(~S:Data,~K:Data,~V:Data,state:State<S,K,V>,+value:V,tick:Nat) -> State<S,K,V>:
48  match state:
49    case State{+old,stream,revision}:State{insertion_slot(~S,~K,~V,value,old),insertion_stream(~S,~K,~V,old,stream,tick,value),(revision + 1n : Nat)}