var class_compare_page_range =
[
    [ "end", "class_compare_page_range.html#aa834633d11bc5669055ebdb137386625", null ],
    [ "from", "class_compare_page_range.html#a7ac012917b39488cf3d7ceaa78e2db92", null ]
];