Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder DFKI GmbH 2013
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.Cycle

Description

removing sort cycles

Documentation

removeSortCycles :: Sign f e -> (Sign f e, Sort_map) Source #