Module Widen


module Widen: sig .. end
Undocumented. Do not use this module if you don't know what you are doing.

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
val kind : [> `Tuning ]
end)
val getWidenHints : Hints.key ->
Cil_types.stmt ->
Base.Set.t * (Base.t -> Locations.Location_Bytes.widen_hint)