Module Offsm_value.Offsm

module Offsm: Abstract_value.Internal  with type t = offsm_or_top

include Abstract_value.S
val structure : t Abstract_value.structure