Pretty printing of main.ml.