var classcl_1_1detail_1_1_deleter =
[
    [ "pointer", "classcl_1_1detail_1_1_deleter.html#a96396087a885bd82e574d133e6583682", null ],
    [ "Deleter", "classcl_1_1detail_1_1_deleter.html#a899859732bb1c5f296f3e4f05ca6a39d", null ],
    [ "operator()", "classcl_1_1detail_1_1_deleter.html#a119b0a92bdab899d0dbfe1840ec1d1d0", null ]
];