var name_resolution_benchmark_8cc =
[
    [ "main", "name-resolution-benchmark_8cc.html#a3c04138a5bfe5d72780bb7e82a18e627", null ],
    [ "TimeNameResolution", "name-resolution-benchmark_8cc.html#a0c6a9ebde140bc2454152d6ec43929aa", null ],
    [ "backends", "name-resolution-benchmark_8cc.html#a67f146e42fdee811645594cfd7a0882f", null ]
];