Move trait methods in cyclic dependencies bundling.#1075

Open

maximebuyse wants to merge 2 commits intomainfrom fix-1068

+100-5

Commits on Oct 30, 2024

Move trait methods in cyclic dependencies bundling.
maximebuyse
committed
Rename trait methods in bundles for all backends, but include them only for fstar (hack).
maximebuyse
committed