module Machines:Machines implements basic functions of any type of finite state machine. Thus when building particular types of finite state machines, instead of recoding the same functions, they can just be called on here.sig
..end
author: Jeff Heinz
last updated: July 15, 2006
module type MACHINE_TYPE =sig
..end
Machines.Make
.
module Make:functor (
Node
:
X.X_TYPE
) ->
functor (
NodeSet
:
Xset.XSET_TYPE
with type elt = Node.t
) ->
functor (
Edge
:
Edges.EDGE_TYPE
with type node = Node.t
) ->
functor (
EdgeSet
:
Xset.XSET_TYPE
with type elt = Edge.t
) ->
functor (
D
:
Delim.DELIM_TYPE
) ->
MACHINE_TYPE
with type nodeSet = NodeSet.t and type edgeSet = EdgeSet.t
MACHINE_TYPE
.