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