Hets - the Heterogeneous Tool Set

Copyright(c) Martin Kuehl Uni Bremen 2008-2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainermkhl@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

Maude.Meta

Description

Meta information about Maude data types.

Exports the classes, instances and functions from these modules: