Module Widen

module Widen: sig .. end
Per-function computation of widening hints.

val getWidenHints : Cil_types.kernel_function ->
Cil_types.stmt ->
Base.Set.t * (Base.t -> Locations.Location_Bytes.generic_widen_hint)