lemon/bits/map_extender.h
changeset 91 e28fc773f3c0
child 107 31a2e6d28f61