Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder, Uni Bremen 2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Haskell.CreateModules

Description

dumping a LibEnv to a Haskell module

Documentation

printModule :: G_theory -> Maybe Doc