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
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