Hets - the Heterogeneous Tool Set

Copyright(c) Eugen Kuksa, Uni Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
Maintainereugenk@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

CommonLogic.ModuleElimination

Description

Used by Comorphisms.CommonLogicModuleElimination and Print_KIF.

Synopsis

Documentation

eliminateModules :: TEXT_META -> TEXT_META

Result is a CL-equivalent text without modules