Module Offsm_value.CvalueOffsm

module CvalueOffsm: Abstract.Value.Internal  with type t = Cvalue.V.t * offsm_or_top

include Abstract_value.S
val structure : t structure