Module Biabduction.RetainCycles
val report_cycle : BiabductionSummary.t Absint.InterproceduralAnalysis.t -> Prop.normal Prop.t -> unit
Biabduction.RetainCyclesval report_cycle : BiabductionSummary.t Absint.InterproceduralAnalysis.t -> Prop.normal Prop.t -> unit