var time_8h =
[
    [ "CLOCKS_PER_SEC", "time_8h.html#CLOCKS_PER_SEC", null ],
    [ "time_t", "time_8h.html#time_t", null ],
    [ "clock", "time_8h.html#clock", null ],
    [ "time", "time_8h.html#time", null ]
];