tree 43d9ef3ecc382c65fd1aafdaff37f9fd6a36226c
parent b6959c33e23b464ddbe5fe98fafc80bbb669189c
author Behdad Esfahbod <behdad@behdad.org> 1527638957 -0700
committer Behdad Esfahbod <behdad@behdad.org> 1527638957 -0700

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