export function getMapKeys(map: Map): K[] { return map.keys(); }