sig
  type key = Base.t
  type t
  val find :
    Locations.Location_Bits.M.key -> Locations.Location_Bits.M.t -> Ival.t
  val fold :
    (Base.t -> Ival.t -> '-> 'a) -> Locations.Location_Bits.M.t -> '-> 'a
end