let dumpDecTable (out: out_channel) (Ide(l):ide) ((a,b,c): (int * int * element)) = output_string out ((l)^"\t"^(string_of_int a)^"\t"^(string_of_int b)^"\t->\t"); (print_element c out); output_string out ("\n")