| License | GPLv2 or higher, see LICENSE.txt |
|---|---|
| Maintainer | nevrenato@gmail.com |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
TopHybrid.Print_AS
Description
Description : Instance of class Pretty for hybrid logic with an arbitrary logic below.
Documentation
printNamedFormula :: Named Frm_Wrap -> Doc