sig
val
default_offsetmap :
Base
.t
->
Cvalue
.
V_Offsetmap
.t
Bottom
.or_bottom
end