module Widen:sig
..end
class widen_visitor :'a -> Widen_type.t Pervasives.ref -> Cil_types.stmt list ->
object
..end
val compute_widen_hints : Cil_types.kernel_function -> Widen_type.t -> Widen_type.t
module Hints:Kernel_function.Make_Table
(
Widen_type
)
(
sig
val name :string
val size :int
val dependencies :State.t list
end
)
val getWidenHints : Cil_types.kernel_function ->
Cil_types.stmt ->
Base.Set.t * (Base.t -> Locations.Location_Bytes.widen_hint)