var structlibebook_1_1EBOOKDummyDeleter = [ [ "operator()", "structlibebook_1_1EBOOKDummyDeleter.html#a8281fb53e40e60aeefdfeb4603b3d5c7", null ] ];
var structlibebook_1_1EBOOKDummyDeleter = [ [ "operator()", "structlibebook_1_1EBOOKDummyDeleter.html#a8281fb53e40e60aeefdfeb4603b3d5c7", null ] ];