let
print_rat = pr_rat
Format
.std_formatter