CSPM-Frontend-0.9.2.0: A CSP-M parser compatible with FDR-2.91
Language.CSPM.PrettyPrinter
Description
This module defines functions for pretty-printing the Abstract Syntax Tree to CSPM syntax.
pPrint :: Pretty a => a -> Doc