Creates a signature from a list of strings.
Creates a signature from a list of strings.
The first string.
The rest of the strings.
Creates a signature from a list of identifiers.
Creates a signature from a list of identifiers.
The first identifier.
The rest of the identifiers.
Creates a signature from a set of strings.
Creates a signature from a set of strings.
A set of names. The elements of the set are the (only) constants. Their types are arbitrary.
Creates a signature from a set of identifiers.
Creates a signature from a set of identifiers.
A set of identifiers. The elements of the set are the (only) constants.
The signature that the Babel parser will use if no other signature is in scope.
The signature that the Babel parser will use if no other signature is in scope. In this signature, identifiers denote variables iff they start with [u-zU-Z]. The types of all identifiers are arbitrary.
Contains various methods for generating signatures.