Requirements on types
points to a hashing automaton constructed with the algorithm
points to the initial state of the hashing automaton.
is a strictly positive integer.
There is enough space to hold all of the elements being copied.
Vincent Le Maout 2003-07-08