Printf.eprintf "Execution time : ";
time (fun v -> ignore (TopDown.accept auto v)) v;
Printf.eprintf "Number of nodes in the result set : %i\n" (BST.cardinal auto.result);
Printf.eprintf "Execution time : ";
time (fun v -> ignore (TopDown.accept auto v)) v;
Printf.eprintf "Number of nodes in the result set : %i\n" (BST.cardinal auto.result);