Module ReachabilityTree.Make.Edge


module Edge: sig .. end
The printable type of possible inbound edges for a vertex.


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