Up – infer » Checkers » SelfInBlock

Module `Checkers.SelfInBlock`

val checker : Absint.IntraproceduralAnalysis.t -> unit