Module Loop_analysis

module Loop_analysis: sig .. end

module Loop_Max_Iteration: Cil_state_builder.Stmt_hashtbl(Datatype.Int)(sig
val size : int
val name : string
val dependencies : State.t list
end)
val add_loop_bound : Cil_datatype.Stmt.t -> Loop_Max_Iteration.data -> unit
module type BINARY_SEMILATTICE = sig .. end
module Binary: sig .. end
module Store: sig .. end
module Generic: sig .. end
val analyze : Kernel_function.t -> unit