listPrefix

fun listPrefix(minimumSize: Int, vararg types: A_Type): A_Type

Given an array of types, create the most general list phrase type which has a yield type matching those types as a tuple, but where the size can vary from the given minimum size to the array's size.

Return

A list phrase type.

Parameters

minimumSize

How small the list is permitted to be.

types

The array of types yielded by corresponding elements of the list phrase type.