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