E_ACSL.Widening
val widen :
?arg:bool ->
Frama_c_kernel.Cil_types.logic_info ->
Analyses_types.ival ->
Analyses_types.ival ->
Analyses_types.ival
val widen_profile :
Frama_c_kernel.Cil_types.logic_info ->
Analyses_datatype.Profile.t ->
Analyses_datatype.Profile.t ->
Analyses_datatype.Profile.t