module Edge: sig .. end
sig
end
type t =
|
Init of A.Semantics.Region.t
A.Semantics.Region.t
Child of (ReachabilityTree.Make.Vertex.t * A.Automaton.Transition.t)
(ReachabilityTree.Make.Vertex.t * A.Automaton.Transition.t)
include Print.PRINTABLE_TYPE