Module Acceptors

module Acceptors: sig .. end

author: Jeff Heinz last updated : July 25,206

module type ACCEPTOR_TYPE = sig .. end

module Make: 
functor (Vocab : Symbols.SYMBOL_SEED) -> 
functor (Word : Xlist.XLIST_TYPE  with type elt = Vocab.t) -> 
functor (WordSet : Xset.XSET_TYPE  with type elt = Word.t) -> 
functor (Symbol : Symbols.SYMBOL_TYPE  with type x = Vocab.t) -> 
functor (Node : X.X_TYPE) -> 
functor (NodeSet : Xset.XSET_TYPE  with type elt = Node.t) -> 
functor (NodeSetSet : Xset.XSET_TYPE  with type elt = NodeSet.t) -> 
functor (Edge : Edges.EDGE_TYPE  with type node = Node.t 
			and type label = Symbol.t) -> 
functor (EdgeSet : Xset.XSET_TYPE  with type elt = Edge.t) -> 
functor (D : Delim.DELIM_TYPE) -> ACCEPTOR_TYPE  with type node = Node.t
		 and type nodeSet = NodeSet.t
		 and type edge = Edge.t
		 and type edgeSet = EdgeSet.t
		 and type label = Symbol.t
		 and type word = Word.t
		 and type wordSet = WordSet.t

module Make_Q: 
functor (Vocab : Symbols.SYMBOL_SEED) -> 
functor (Node : X.X_TYPE) -> ACCEPTOR_TYPE  with type node = Node.t

module Make_DQ: 
functor (Vocab : Symbols.SYMBOL_SEED) -> 
functor (Node : X.X_TYPE) -> 
functor (WordD : Delim.DELIM_TYPE) -> 
functor (WordSetD : Delim.DELIM_TYPE) -> 
functor (EdgeD : Delim.DELIM_TYPE) -> 
functor (NodeSetD : Delim.DELIM_TYPE) -> 
functor (NodeSetSetD : Delim.DELIM_TYPE) -> 
functor (EdgeSetD : Delim.DELIM_TYPE) -> 
functor (D : Delim.DELIM_TYPE) -> ACCEPTOR_TYPE  with type node = Node.t