let
is_array_reference_type ty =
is_reference_type ty
&&
isArrayType (direct_pointed_type ty)