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

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