sig type t = Init of A.Semantics.Region.t | Child of (ReachabilityTree.Make.Vertex.t * A.Automaton.Transition.t) val print : Format.formatter -> t -> unit end