Hets - the Heterogeneous Tool Set

CopyrightDFKI GmbH 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

Modal.ModalSystems

Description

 

Documentation

transSchemaMFormula :: ([VAR] -> TERM M_FORMULA -> TERM ()) -> SORT -> PRED_NAME -> [VAR] -> AnModFORM -> Maybe (Named CASLFORMULA)