rename: IndexDef::space_id -> table_id (!745) · Merge requests · core / picodata · GitLab

Yaroslav Dynnikov requested to merge rosik/rename-space-to-table into master Nov 20, 2023

Summary

rename: IndexDef::space_id -> table_id

Follow-up for bfe08313, !741 (merged), #396 (closed)

Also fix some docstrings

Ensure that

~~New code is covered by tests~~
API is documented
~~Changelog is up to date~~
~~(if Lua API changed) Lua API version is bumped in luamod.rs~~
~~(if necessary) A follow-up doc issue is created in picodata/docs and linked here~~