Function valmap 

pub fn valmap<K, V, V2, F>(fun: F, the_map: HashMap<K, V>) -> HashMap<K, V2>
where
    F: Fn(V) -> V2,
    K: Eq + Hash,