Module Widen

module Widen: sig .. end

class widen_visitor : 'a -> 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 -> 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)