Don't needlessly run the last bottom-up phase, when the top-down is sufficient.
[tatoo.git] / src / html_trace.mli
1 val gen_trace : Ata.t -> StateSet.t array list -> (module Tree.S with type t = 'a) -> 'a -> unit