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

let nset_fold f s set = IntMap.fold (fun _ n s -> f s n) set s