Functor Edges.Make


module Make: 
functor (Node : X.X_TYPE) ->
functor (Label : X.X_TYPE) ->
functor (D : Delim.DELIM_TYPE) -> EDGE_TYPE with type label = Label.t and type node = Node.t
The functor takes the three modules below and returns a module of EDGE_TYPE.
Parameters:
Node : X.X_TYPE
Label : X.X_TYPE
D : Delim.DELIM_TYPE

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.