Module type Edges.EDGE_TYPE


module type EDGE_TYPE = sig .. end
The output signature of Make.

include X.X_TYPE

The following list summarizes the function in X.X_TYPE.
type node 
The vertex of an edge has this type.
type label 
The label of an edge has this type.
val origin : t -> node
Returns the origin of an edge.
val terminus : t -> node
Returns the terminus of an edge.
val label : t -> label
Returns the label of an edge.
val make : node -> node -> label -> t
make o t l Returns an edge where the origin is o, the terminus is t and the label is l.
val label_compare : label -> label -> int
This is the compare function for labels. I.e. Edge.label_compare = Label.compare.
val to_dotstring : t -> string
This function returns a string representation of the edge that can be interpreted by AT&T's Graphviz drawing program.