{- |

Module : $Header$

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:

* "Maude.Meta.HasName"

* "Maude.Meta.HasSorts"

* "Maude.Meta.HasOps"

* "Maude.Meta.HasLabels"

* "Maude.Meta.AsSymbol"

-}

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