var globals_dup =
[
    [ "_", "globals.html", null ],
    [ "m", "globals_m.html", null ],
    [ "n", "globals_n.html", null ],
    [ "t", "globals_t.html", null ]
];