var globals_defs = [ [ "a", "globals_defs.html", null ], [ "b", "globals_defs_b.html", null ], [ "c", "globals_defs_c.html", null ], [ "d", "globals_defs_d.html", null ], [ "l", "globals_defs_l.html", null ], [ "m", "globals_defs_m.html", null ], [ "t", "globals_defs_t.html", null ], [ "v", "globals_defs_v.html", null ] ];