types

val types: Set<A_Type>