Module Checkers.InefficientKeysetIterator

val checker : Absint.IntraproceduralAnalysis.t -> unit