Module Widen_type


module Widen_type: sig .. end
Key for the first map : from Base.t to Ival.Widen_Hints.t

include Datatype.S

type var_key =
| Default
| All
| VarKey of Base.t
Key for the first map : from Base.t to Ival.Widen_Hints.t
val empty : t
an empty set of hints
val default : t
a default set of hints
val add_num_hints : Cil_types.stmt option -> var_key -> Ival.Widen_Hints.t -> t -> t
add a set of hints for a stmt, var, Default or All (stmts, keys)
val add_var_hints : Cil_types.stmt -> Base.Set.t -> t -> t
add a set of Base for a stmt
val hints_from_keys : Cil_types.stmt ->
t -> Base.Set.t * (Base.t -> Locations.Location_Bytes.widen_hint)
widen hints from a Cil_types.stmt, Base