Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type 'a obj = {
value : 'a;
mutable parent_dist : float;
mutable radius : float;
mutable tree : 'a node option;
}
type 'a t = {
mutable root : 'a node;
branching_factor : int;
distance : 'a -> 'a -> float;
eq : 'a -> 'a -> bool;
}
val invariant : 'a t -> unit