0N/A{- |

553N/AModule : $Header$

0N/ADescription : ShATermConvertible instances

0N/ACopyright : (c) Christian Maeder, Uni Bremen 2006

0N/ALicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

0N/A

0N/AMaintainer : Christian.Maeder@dfki.de

0N/AStability : provisional

0N/APortability : non-portable (imports programatica modules)

0N/A

0N/A'ShATermConvertible' instances for TiPropDecorate data types

0N/A-}

0N/A

0N/Amodule Haskell.TiPropATC() where

0N/A

0N/Aimport Common.ATerm.Lib

0N/Aimport TiPropDecorate

0N/Aimport Haskell.TiDecorateATC()

553N/Aimport Data.Typeable

553N/A

553N/A{-! for TiDecls derive : Typeable !-}

0N/A{-! for TiDecl derive : Typeable !-}

0N/A{-! for TiAssertion derive : Typeable !-}

0N/A{-! for TiPredicate derive : Typeable !-}

0N/A{-! for OTiAssertion derive : Typeable !-}

0N/A{-! for TiExp derive : Typeable !-}

0N/A

0N/A{-! for TiDecls derive : ShATermConvertible !-}

0N/A{-! for TiDecl derive : ShATermConvertible !-}

0N/A{-! for TiAssertion derive : ShATermConvertible !-}

0N/A{-! for TiPredicate derive : ShATermConvertible !-}

0N/A{-! for OTiAssertion derive : ShATermConvertible !-}

0N/A{-! for TiExp derive : ShATermConvertible !-}

0N/A