module Loop_analysis:sig
..end
module Loop_Max_Iteration:State_builder.Hashtbl
with type key = stmt and type data = int
val analyze : Kernel_function.t -> unit
val get_bounds : Cil_types.stmt -> int option
val fold_bounds : (Cil_types.stmt -> int -> 'a -> 'a) -> 'a -> 'a
val display_results : unit -> unit