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