


We might want to transform all the values in a map:
linux$ my
eval: include string_map;
eval: m = empty: Map( Int );
eval: m $= ("Key1", 1);
eval: m $= ("Key2", 2);
eval: m $= ("Key3", 3);
eval: m = map (sprintf "<<%d>>") m;
eval: keyvals_list m;
[("Key1", "<<1>>"), ("Key2", "<<2>>"), ("Key3", "<<3>>")]


