Copyright | (c) Renato Neves |
---|---|

License | GPLv2 or higher, see LICENSE.txt |

Maintainer | nevrenato@gmail.com |

Stability | provisional |

Portability | portable |

Safe Haskell | Safe-Inferred |

printing Hybrid data types

# Documentation

printFormulaOfHybridSign :: FormExtension f => (FORMULA f -> FORMULA f) -> [[Annoted (FORMULA f)]] -> Doc

printHybridSign :: (FORMULA H_FORMULA -> FORMULA H_FORMULA) -> HybridSign -> Doc