Frama-C API - M
type key = Base.t
type t = Locations.Location_Bytes.M.t
Mapping from bases to bytes-expressed offsets
val shape : t -> Ival.t Hptmap.Shape(Base.Base).t
M
type key = Base.t
type t = Locations.Location_Bytes.M.t
Mapping from bases to bytes-expressed offsets
val shape : t -> Ival.t Hptmap.Shape(Base.Base).t