A Standard ML port of Christiansen, Darais and Ma's Final Pretty Printer - View it on GitHub