{- |
Module : ./ConstraintCASL/Print_AS.hs
Copyright : (c) Wiebke Herding, C. Maeder, Uni Bremen 2004-2006
License : GPLv2 or higher, see LICENSE.txt
Maintainer : till@informatik.uni-bremen.de
Stability : provisional
Portability : portable
printing AS_ConstraintCASL ConstraintCASLSign data types
-}
module ConstraintCASL.Print_AS where
import Common.Doc
import Common.DocUtils
import ConstraintCASL.AS_ConstraintCASL
import CASL.AS_Basic_CASL ()
instance Pretty ConstraintFORMULA where
pretty = text . show