{- |
Module : ./Maude/Meta.hs
Description : Meta information about Maude data types
Copyright : (c) Martin Kuehl, Uni Bremen 2008-2009
License : GPLv2 or higher, see LICENSE.txt
Maintainer : mkhl@informatik.uni-bremen.de
Stability : experimental
Portability : portable
Meta information about Maude data types.
Exports the classes, instances and functions from these modules:
-}
module Maude.Meta (module X) where
import Maude.Meta.HasName as X
import Maude.Meta.HasSorts as X
import Maude.Meta.HasOps as X
import Maude.Meta.HasLabels as X
import Maude.Meta.AsSymbol as X