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