Commit 661e9ae4a55c198eb9fdb2c104979dd55a0fa1f1

Behdad Esfahbod 2018-05-29T17:09:17

[map] Add clear(), is_empty(), and get_population()