Meta.hs revision e9458b1a7a19a63aa4c179f9ab20f4d50681c168
{- |
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:
* "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