let rec print_levels ls = match ls with | [] -> print_string("\n") | lev::tl -> (print_string(string_of_level(lev) ^ "; "); (print_levels tl))