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

CommonLogic.ModuleElimination

Description

Used by Comorphisms.CommonLogicModuleElimination and Print_KIF.

Synopsis

Documentation

eliminateModules :: TEXT_META -> TEXT_META Source #

Result is a CL-equivalent text without modules