let print_DecTable (out: out_channel) (dect: dec_table) = ( output_string (out) "\n/*\n"; Hashtbl.iter (dumpDecTable out) dect; output_string (out) "*/\n" )