module CvalueOffsm: Abstract.Value.Internal with type t = Cvalue.V.t * offsm_or_top
Abstract.Value.Internal
with type t = Cvalue.V.t * offsm_or_top
include Abstract_value.S
val structure : t structure
t structure