Functor Cvalue_transfer.Transfer

module Transfer: 
functor (Valuation : Abstract_domain.Valuation  with type value = value
                                           and type origin = bool
                                           and type loc = location) -> sig .. end

include Abstract_domain.Transfer

val call_action : Cil_types.stmt ->
       Cvalue_transfer.value Eval.call ->
       Valuation.t ->
       state ->
       (state, summary, Cvalue_transfer.value) Eval.action * Base.SetLattice.t