module E: Graph.Sig.EDGE with type vertex = State.t and type t = State.t * State.t
Graph.Sig.EDGE
with type vertex = State.t and type t = State.t * State.t