type Party { const narray@ Pokemon { get const; }; uint64 Length { get const; }; Pokemon@ GetAtIndex(int index) const; }