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 -> 'a) -> Locations.Location_Bits.M.t -> 'a -> 'a end