Optional Assignment 3

Hey everyone,

For the next assignment, write an mli for your DAWG or trie to suppress unwanted globals. Then, write a wrapper module around the Set module so that it behaves the same way. Run some speed tests to see which one is faster.

Finally, convert your DAWG/trie to be more generic so that it can operate on types of arbitrary data. Your dawg should look something like:

module type WordType =
sig
type t
(* what other operations you need? Suffix? Equality? Common subsequence?*)
end

module DAWG = functor (W : WordType) ->
struct
type t
val create_dawg: unit -> t
(* etc *)
end