var bind_8hpp =
[
    [ "protect", "bind_8hpp.html#ga31d4395510c9bf0dad47fd35b6f5e2b6", null ]
];