Table array_element_type

predicate array_element_type(@array_type array, int dimension, int rank, @type_or_ref element)