Simplify leftover `Function` imports#2012

Merged

Taneb merged 7 commits intoagda:masterfrom

Saransh-cpp:leftover-Function

Jul 28, 2023

Commits on Jul 1, 2023

Commits on Jul 2, 2023

`Function` -> `Function.Base`

Saransh-cpp
and
gallais
authored

Commits on Jul 6, 2023

Merge branch 'master' into leftover-Function
Saransh-cpp
authored

Commits on Jul 28, 2023