def same_current

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

import Base
import bendvy-ecs-core@0.1.0.4/machine.bend as M

25def same_current(~S:Data,~K:Data,~V:Data,~same:V -> V -> Bool,before:M.Slot<S,K,V>,after:M.Slot<S,K,V>) -> Bool:
26  match before after:
27    case M.Missing{} M.Missing{}:True{}
28    case M.Present{a,_,_,_} M.Present{b,_,_,_}:same(a,b)
29    case _ _:False{}