Module Cvalue_transfer

module Cvalue_transfer: sig .. end

Transfer functions for the main domain of the Value analysis.

type value = Main_values.CVal.t

type location = Main_locations.PLoc.location

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