var unionma__timer =
[
    [ "counter", "unionma__timer.html#aa50f64d2e00b8ea7437bd5186710accb", null ],
    [ "counterD", "unionma__timer.html#aa4af842259e0dd69b5ac2c2eab1fcf5f", null ]
];