let print = print_sorts