mostGeneralType

val mostGeneralType: A_Type