Hets - the Heterogeneous Tool Set

Copyrightuni-bremen and DFKI
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerr.pascanu@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CMDL.InfoCommands

Description

CMDL.InfoCommands contains all commands that provides information about the state of the development graph and selected theories

Documentation

cInfo :: String -> CmdlState -> IO CmdlState Source #