Module Checkers__InefficientKeysetIterator

val checker : Absint.IntraproceduralAnalysis.t -> unit