Module `Backend.InferAnalyze`

val main : changed_files:IBase.SourceFile.Set.t option -> unit
val register_active_checkers : unit -> unit
val invalidate_changed_procedures : IBase.SourceFile.Set.t option -> unit: Invalidate specs files for procedures that have changed. Used for incremental analysis.