Functor Cvalue_transfer.Transfer

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

include Abstract_domain.Transfer