Documented calc.ml .
Documented compare_automata.ml .
Documented NRQueue.ml .
Documented NRQueue.ml .
Documented Table_using_list.ml .