lemon/bits/map_extender.h
changeset 67 9de02aa380de
child 107 31a2e6d28f61