var group__intr__optimizations =
[
    [ "Code annotations", "group__intr__opt__code__annotations.html", "group__intr__opt__code__annotations" ],
    [ "Code optimizations", "group__intr__opt__simpl.html", "group__intr__opt__simpl" ]
];