lemon/bits/map_extender.h
changeset 74 9394072da54f
child 107 31a2e6d28f61