Hi,
My understanding of the memory64 proposal is that, now, memory limits can be up to 2^48 (because the limit is in number of pages), but the table limits could be 2^64. But if you read the prose or the formal typing rules specification here, it looks like they are outdated and still refer to the limit being 2^32-1. Am I right about supposing this is simply outdated?
Best,