module Widen: sig
.. end
class widen_visitor : Cil_types.kernel_function -> Widen_type.t Pervasives.ref -> (Cil_types.stmt list * Cil_datatype.Stmt.Set.t) option ->
object
.. end
val compute_widen_hints : Cil_types.kernel_function -> 'a -> 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)