(***********************************************************************)
type stats = { run : int;
tree_size : int;
- cache2_access : int;
- cache2_hit : int;
- cache5_access : int;
- cache5_hit : int;
+ fetch_trans_cache_access : int;
+ fetch_trans_cache_hit : int;
+ eval_trans_cache_access : int;
+ eval_trans_cache_hit : int;
}
module Make (T : Tree.S) :
sig