module Per_stmt_slevel: sig
.. end
Same slevel i in the entire function
module G: sig
.. end
module Dfs: Graph.Traverse.Dfs
(
G
)
module LocalSlevelId: State_builder.SharedCounter
(
sig
end
)
module LocalSlevelAnnots: State_builder.Int_hashtbl
(
Datatype.Option
(
Datatype.Int
)
)
(
sig
val name : string
val dependencies : State.t list
val size : int
end
)
val retrieve_annot : LocalSlevelAnnots.key ->
LocalSlevelAnnots.data
type
slevel =
module DatatypeSlevel: Datatype.Make
(
sig
end
)
: Cil_types.stmt -> LocalSlevelAnnots.data option
val kf_contains_slevel_directive : Kernel_function.t -> bool
val for_kf : ForKf.key -> ForKf.data
module ForKf: Kernel_function.Make_Table
(
DatatypeSlevel
)
(
sig
val size : int
val dependencies : State.t list
val name : string
end
)
val for_kf : ForKf.key -> ForKf.data