Module Slevel_analysis

module Slevel_analysis: sig .. end

module Needs_Merge_After_Loop: Kernel_function.Make_Table(Datatype.Bool)(sig
val size : int
val name : string
val dependencies : State.t list
end)
module Suggested_Slevel: Kernel_function.Make_Table(Datatype.Integer)(sig
val size : int
val name : string
val dependencies : State.t list
end)
module Functions_With_Unknown_Loop: Kernel_function.Make_Table(Datatype.Bool)(sig
val size : int
val name : string
val dependencies : State.t list
end)
module Specific: 
functor (KF : sig
val kf : Kernel_function.t
end) -> sig .. end
val analyze : Kernel_function.t -> unit
val display_results : unit -> unit