var view_2view_8hpp =
[
    [ "ViewableRange", "view_2view_8hpp.html#ga45db01bcf34c703b20a8da79f574c24c", null ],
    [ "make_view", "view_2view_8hpp.html#ga8d9cf14e40cd0d2e3d0955f773e70749", null ]
];