var globals_defs =
[
    [ "_", "globals_defs.html", null ],
    [ "m", "globals_defs_m.html", null ],
    [ "t", "globals_defs_t.html", null ]
];