Mon, 18 Apr 2022 16:29:14 +0200
simplify destructor signature (but loads more responsibility onto the user)
var searchData= [ ['map_2eh',['map.h',['../map_8h.html',1,'']]], ['mempool_2eh',['mempool.h',['../mempool_8h.html',1,'']]] ];