Pretty printing for generated ML.