Module Edges


module Edges: sig .. end
Edges implements the transitions of finite state acceptors. Transitions have three components: an origin node, a terminus node, and a label. The module Make takes three modules as arguments and returns a module of EDGE_TYPE. The first module is of X.X_TYPE and will represent the vertices of the edge. The second module is also of X.X_TYPE and provides the label on the edge. The third module is of Delim.DELIM_TYPE and provides a way for a string representation of the edge.

author: Jeff Heinz last updated : July 6, 2006


module type EDGE_TYPE = sig .. end
The output signature of 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.