module Cvalue_transfer:sig
..end
typevalue =
Main_values.CVal.t
typelocation =
Main_locations.PLoc.location
val find_right_value : Cil_types.typ ->
Cvalue.V_Offsetmap.t ->
value Eval.or_bottom Eval.flagged_value
module Transfer:functor (
Valuation
:
Abstract_domain.Valuation
with type value = value and type origin = bool and type loc = location
) ->
sig
..end