XkbKeyTypesForCoreSymbols(3) on Linux

The text 3ce7db0bb3f7, as Debian 13 (Trixie) shipped it.

Determine the Xkb key types appropriate for the symbols bound to a key in a core keyboard mapping