Checkers.StaticConstructorStallChecker
module F = Stdlib.Format
module Mem : sig ... end
module Summary : sig ... end
val checker : Summary.t Absint.InterproceduralAnalysis.t -> Summary.t option