hylolib-1.3.1: Tools for hybrid logics related programs
HyLo.Signature.String
type StringSignature = Signature NomSymbol PropSymbol RelSymbolSource
newtype PropSymbol Source
Constructors
Instances
newtype NomSymbol Source
data RelSymbol Source
inv :: RelSymbol -> RelSymbolSource