(self)
return self.args[0]
Returns the index type.

        E.g.,  A: (Array Int Real)
        Returns IntType.
Returns the index type.
Returns the index type .
def index_type(self):
        """Returns the index type.

        E.g.,  A: (Array Int Real)
        Returns IntType.
        """
        return self.args[0]
def index_type ( self ) : return self . args [ 0 ]