hylolib-1.3.3: Tools for hybrid logics related programs
HyLo.Signature.Simple
type SimpleSignature = Signature NomSymbol PropSymbol RelSymbolSource
newtype PropSymbol Source
Constructors
Instances
data NomSymbol Source
data RelSymbol Source
inv :: RelSymbol -> RelSymbolSource
unit_tests :: UnitTestSource