sig
type key = Base.t
type leaf_annot
type branch_annot
type tt = private
Empty
| Leaf of Locations.Location_Bytes.M.key * Ival.t *
Locations.Location_Bytes.M.leaf_annot
| Branch of int * int * Locations.Location_Bytes.M.tt *
Locations.Location_Bytes.M.tt *
Locations.Location_Bytes.M.branch_annot
type t = Locations.Location_Bytes.M.tt
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 -> 'a) ->
Locations.Location_Bytes.M.t -> 'a -> 'a
end