var a00378 = [ [ "MapKey_T", "a00378.html#a4a8f15e43d18c1f3e34ba36afb3ad142", null ], [ "KeyList_T", "a00378.html#a800514140baf9c73b3bef47d80656623", null ] ];
var a00378 = [ [ "MapKey_T", "a00378.html#a4a8f15e43d18c1f3e34ba36afb3ad142", null ], [ "KeyList_T", "a00378.html#a800514140baf9c73b3bef47d80656623", null ] ];