{- |

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