Printer
We write a printer for a generic language called P and then use this printer to factorize printers for the source and the target language of inferno. Note that P is a superset of both ML and F and is intended only for printing.
Edited by MARTINOT Olivier