lemon/bits/map_extender.h
changeset 104 cdbba181b786
child 107 31a2e6d28f61