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

let nmap_fold f s map = IntMap.fold (fun _ (n, v) s -> f s n v) map s