Hets - the Heterogeneous Tool Set
Copyright(c) (c) Klaus Luettich and Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

Modal.Utils

Description

 

Documentation

getModTermSort :: Id -> Id Source #

addNonEmptyLabel :: String -> Maybe (Named a) -> Maybe (Named a) Source #

modToTerm :: MODALITY -> Maybe (TERM M_FORMULA) Source #

addTerm :: ([VAR] -> TERM M_FORMULA -> TERM ()) -> PRED_NAME -> [Maybe (TERM M_FORMULA)] -> [VAR] -> Maybe (Named CASLFORMULA) -> Maybe (Named CASLFORMULA) Source #