Group RGI interface and implementation functions separately.#33

Merged

nealkruis merged 3 commits intomainfrom group-implementations-by-class

Aug 10, 2023

+579-564

Commits on Jul 26, 2023

Group RGI interface and impl functions separately; fix sortedness test.
tanaya-mankad
committed

Commits on Aug 9, 2023

Separate implementation implementation :) into its own file.
tanaya-mankad
committed

Commits on Aug 10, 2023

Revert vector_is_sorted to keep PR clean.
tanaya-mankad
committed