module Widen:sig
..end
val getWidenHints : Cil_types.kernel_function ->
Cil_types.stmt ->
Base.Set.t * (Base.t -> Locations.Location_Bytes.generic_widen_hint)
getWidenHints kf s
retrieves the set of widening hints related to
function kf
and statement s
.val precompute_widen_hints : unit -> unit