| 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 |
| Safe Haskell | Safe |
Maude.Meta
Description
Meta information about Maude data types.
Exports the classes, instances and functions from these modules:
Documentation
module Maude.Meta.AsSymbol
module Maude.Meta.HasLabels
module Maude.Meta.HasOps
module Maude.Meta.HasSorts
module Maude.Meta.HasName