Package-level declarations
Types
Primitive: Concatenate a tuple of tuples together into a single tuple.
Primitive: Construct a tuple type with the given parameters. Canonize the data if necessary.
Primitive: Extract a subtuple with the given range of elements.
Primitive: Create an integer interval tuple.
Primitive: Create a repeated element tuple.
Primitive: Produce a reverse of the given tuple; same elements, opposite order.
Primitive: Answer a tuple like the given one, but with an element changed as indicated.
Primitive: Replace the value with a new value in the tuple at the location indicated by the path tuple.
Primitive: Create a tuple from the original tuple, with the designated range of indices replaced with another tuple, not necessarily of the same size.
Primitive: Replace the range of values in a tuple given a replacement tuple and a tuple of values to chart the path to get to the desired range to replace.
Primitive: Answer the size of the tuple.
Primitive: Answer a tuple like the given one, but with the elements at the specified indices swapped.
Primitive: Answer the type for the given element of instances of the given tuple type. Answer bottom if out of range.
Primitive: Answer the type that is the union of the types within the given range of indices of the given tuple type. Answer bottom if all the indices are out of range.
Primitive: Answer the type that is the type of all possible concatenations of instances of the given tuple types. This is basically the semantic restriction of the two-argument concatenation operation.
Primitive: Answer the default type for elements past the leading types.
Primitive: Answer the tuple of leading types that constrain this tuple type.
Primitive: Answer the allowed size ranges for this tuple type. These are the sizes that a tuple may be and still be considered instances of the tuple type, assuming the element types are consistent with those specified by the tuple type.
Primitive: Answer the union of the types in the given tuple of types.