let
clear t =
Doubly_linked
.clear t.queue;
Table
.clear t.table;