module Cvalue_transfer: sig .. end
sig
end
Transfer functions for the main domain of the Value analysis.
type value = Main_values.CVal.t
Main_values.CVal.t
type origin = value
value
type location = Main_locations.PLoc.location
Main_locations.PLoc.location
include Abstract_domain.Transfer