Module Widen

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)