(* ../LICENSE. *)
(* *)
(***********************************************************************)
-
+type stats = { run : int;
+ tree_size : int;
+ cache2_access : int;
+ cache2_hit : int;
+ cache5_access : int;
+ cache5_hit : int;
+ }
module Make (T : Tree.S) :
sig
val eval : Ata.t -> T.t -> T.node list -> T.node list
val full_eval : Ata.t -> T.t -> T.node list -> (State.t * T.node list) list
+ val stats : unit -> stats
end