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
Parameters:
Valuation : Abstract_domain.Valuation with type value = value and type origin = bool and type loc = location

include Abstract_domain.Transfer
val start_call : Cil_types.stmt ->
Cvalue_transfer.value Eval.call ->
Valuation.t ->
state ->
(state, return, Cvalue_transfer.value) Eval.call_action * Base.SetLattice.t