var globals_defs =
[
    [ "f", "globals_defs.html", null ]
];