hylolib-1.4.0: Tools for hybrid logics related programs

Safe Haskell	None

HyLo.Signature.String

Documentation

type StringSignature = Signature NomSymbol PropSymbol RelSymbol Source

newtype PropSymbol Source

Constructors

PropSymbol String

Instances

Eq PropSymbol
Ord PropSymbol
Read PropSymbol
Show PropSymbol

newtype NomSymbol Source

Constructors

NomSymbol String

Instances

Eq NomSymbol
Ord NomSymbol
Read NomSymbol
Show NomSymbol

newtype RelSymbol Source

Constructors

RelSymbol String

Instances

Eq RelSymbol
Ord RelSymbol
Read RelSymbol
Show RelSymbol