#NEWLINE# def visit_Index( self , node ) : #NEWLINE# #INDENT# tv = self . fresh ( ) #NEWLINE# ty = self . visit ( node . val ) #NEWLINE# ixty = self . visit ( node . ix ) #NEWLINE# self . constraints += [ ( ty , array ( tv ) ) , ( ixty , int32 ) ] #NEWLINE# return tv