libcspm-1.0.0: A library providing a parser, type checker and evaluator for CSPM.

Safe HaskellNone

CSPM.Evaluator.ValuePrettyPrinter

Synopsis

Documentation

prettyPrintAllRequiredProcesses :: (Foldable seq, PrettyPrintable (Proc seq op ProcName ev evs evm)) => Proc seq op ProcName ev evs evm -> DocSource

Pretty prints the given process and all processes that it depends upon.