(* *)
(***********************************************************************)
-module Make (T : Tree.S) :
+
+module Make (T : Tree.S) :
sig
- val eval : Ata.t -> T.t -> T.node list -> T.node list
+ val eval : Ata.t -> T.t -> T.node Sequence.t -> T.node Sequence.t
+ val full_eval : Ata.t -> T.t -> T.node Sequence.t -> (State.t * T.node Sequence.t) list
end