type

val type: A_Type

Answer the base type of this restriction.