sig
  type key = Base.t
  type t
  val iter :
    (Base.t -> Ival.t -> unit) -> Locations.Location_Bytes.M.t -> unit
  val find :
    Locations.Location_Bytes.M.key -> Locations.Location_Bytes.M.t -> Ival.t
  val fold :
    (Base.t -> Ival.t -> '-> 'a) ->
    Locations.Location_Bytes.M.t -> '-> 'a
  val shape :
    Locations.Location_Bytes.M.t -> Ival.t Hptmap.Shape(Base.Base).t
end