removeNameFromType

fun removeNameFromType(aString: A_String, anObjectType: A_Type)

Remove a type name from the specified user-defined object type. If the object type does not currently have the specified type name, or if this name has already been removed, do nothing.

Parameters

aString

A name to disassociate from the type.

anObjectType

An Avail object type.