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