index (int) – The global index of the State.
path (Tuple[Key, ...] | None) – The mapping key path on the defining occurrence; None on a shared
or cyclic back-reference (which carries no state-mapping entry).
type (type) – The concrete State subtype (e.g. ParamState).
