co

fun co(name: String, mostGeneralType: A_Type): CovariantParameterization

Static factory method – Create a covariant parameterization. Don't set its index yet.

Return

The new covariant specialization.

Parameters

name

The name of the covariant specialization.

mostGeneralType

The the type that any specific phrase type's covariant specialization type is constrained to.