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