| 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-Inferred |
Maude.Meta.HasOps
Contents
Description
Accessing the Operators of Maude data types.
Defines a type class HasOps that lets us access the Operators of
Maude data types as SymbolSets.
Consider importing Maude.Meta instead of this module.