module Make: functor (P : Rtree_intf.Rtree_params) -> sig .. end
functor (
P
:
Rtree_intf.Rtree_params
) ->
sig
end
module Tree: Rtree_intf.Tree_S
Rtree_intf.Tree_S
type a = P.t
P.t
type t = P.t Tree.t
P.t Tree.t
val empty : t
t
val size : t -> int
t -> int
val insert : t -> a -> t
t -> a -> t
val search : t -> P.Bounding_box.t -> a list
t -> P.Bounding_box.t -> a list