BLAST API Documentation (Version 1.0) : CfLazyModelChecker.Make_Lazy_Model_Checker.nmap

let nmap_map f map = IntMap.map (fun _ (n, v) -> (n, f v)) map