(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-24 18:10:18 CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-24 23:19:41 CEST by Kim Nguyen>
*)
type predicate =
todo : TransList.t;
summary : node_summary;
mutable round : int;
- mutable unstable_subtree : bool;
}
module Config : Hcons.S with type data = config