Hets - the Heterogeneous Tool Set

LicenseGPLv2 or higher, see LICENSE.txt
Maintainernevrenato@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone

TopHybrid.AS_TopHybrid

Description

Description : Abstract syntax for an hybridized logic. Declaration of the basic specification. Underlying Spec; Declaration of nominals and modalities, and axioms.

Documentation

data TH_BSPEC s

Constructors

Bspec 

Fields

bitems :: [TH_BASIC_ITEM]
 
und :: s