type stats = private { mutable pass : int;
+ auto : Uid.t;
tree_size : int;
mutable fetch_trans_cache_access : int;
mutable fetch_trans_cache_hit : int;
sig
val eval : Ata.t -> T.t -> L.t -> L.t
val full_eval : Ata.t -> T.t -> L.t -> (State.t * L.t) list
- val stats : unit -> stats
+ val stats : unit -> stats list
end