code: def get_normalized_definition(self):
          
          typedef = self.value_type.get_normalized_definition()
          return ('%s[<=%d]' if self.mode == ArrayType.MODE_DYNAMIC else '%s[%d]') % (typedef, self.max_size)
docs: Please refer to the specification for details about normalized definitions.