sig
  module Loop_analysis :
    sig
      val analyze : Kernel_function.t -> unit
      val get_bounds : Cil_types.stmt -> int option
      val fold_bounds : (Cil_types.stmt -> int -> '-> 'a) -> '-> 'a
    end
end