Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder DFKI 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.CompositionTable.Pretty2

Description

 

Documentation

ctxt :: String -> Doc Source #

baserel :: IntMap Baserel -> Int -> Doc Source #

cmptab :: IntMap Baserel -> (Int, IntMap IntSet) -> [Doc] Source #

contab :: IntMap Baserel -> String -> ConTable -> Doc Source #

contabentry :: IntMap Baserel -> (Int, IntSet) -> Doc Source #