sig type t = State.t * State.t val compare : t -> t -> int type vertex = State.t val src : t -> vertex val dst : t -> vertex type label val create : vertex -> label -> vertex -> t val label : t -> label end