Maintainer | maurerl@cs.uoregon.edu |
---|---|
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
Instances and functions for pretty-printing Sequent Core terms using GHC's built-in pretty printer.
- ppr_binds_top :: OutputableBndr b => [Bind b] -> SDoc
Documentation
ppr_binds_top :: OutputableBndr b => [Bind b] -> SDoc Source
Print the given bindings as a sequence of top-level bindings.