module Edges:Edges implements the transitions of finite state acceptors. Transitions have three components: an origin node, a terminus node, and a label. The modulesig
..end
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
Make
.
module Make:functor (
Node
:
X.X_TYPE
) ->
functor (
Label
:
X.X_TYPE
) ->