docs: def has_arrlist(type_str):
      """
      A predicate that matches a type string with an array dimension list.
      """
      try:
          abi_type = grammar.parse(type_str)
      except exceptions.ParseError:
          return False
  
      return abi_type.arrlist is not None