create
fun createListPhraseType( kind: PhraseTypeDescriptor.PhraseKind, yieldType: A_Type, subexpressionsTupleType: A_Type): A_Type
Content copied to clipboard
Create a list phrase type with the given yield type and the given tuple type of expression types. Canonize the resulting type by combining the mutual element constraints.
Return
A canonized list phrase type.
Parameters
kind
The PhraseKind to instantiate. This must be PhraseKind.LIST_PHRASE or a subkind.
yield
The tuple type that the list phrase will yield.
subexpressions
The tuple type of types of expression phrases that are the sub-phrases of the list phrase type.
Create a list phrase type with the given tuple type of expression types.
Return
A canonized list phrase type.
Parameters
subexpressions
The tuple type of types of expression phrases that are the sub-phrases of the list phrase type.