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 start_call : Cil_types.stmt ->
       Cvalue_transfer.value Eval.call ->
       Valuation.t -> state -> state Eval.call_action * Base.SetLattice.t