Characteristic predicate Type::ArrayType::ArrayType

ArrayType()