var structlibetonyek_1_1KEYDummyDeleter = [ [ "operator()", "structlibetonyek_1_1KEYDummyDeleter.html#a7098ed48d861846aa6a4cecdf7fa142e", null ] ];
var structlibetonyek_1_1KEYDummyDeleter = [ [ "operator()", "structlibetonyek_1_1KEYDummyDeleter.html#a7098ed48d861846aa6a4cecdf7fa142e", null ] ];