Module Vp_tree

Functorial interface.

module type Point = sig ... end
module Make (P : Point) : sig ... end