lemon/bits/map_extender.h
changeset 84 8161012eaa61
child 107 31a2e6d28f61