I'm trying to move the top-level Cvar to a functor, so that I can eventually provide it through the backend.
Actually, maybe I don't need to move cvar to a functor, and I can just delete it and provide it through the backend.
But in any case, by doing this, I run into a number of issues:
As_prover has some top-level stuff that relies on Cvar being top-level
Same for Typ
Removing the top-level stuff of Cvar forces me to remove the top-level stuff of As_prover/Typ. How about removing the top-level stuff os As_prover/Typ first, and then coming back to this PR?
That's what I'll do next.
Typ is quite hard to refactor, there's some GADT in there as well and I'm not sure why (Typ).
I'm trying to move the top-level Cvar to a functor, so that I can eventually provide it through the backend.
Actually, maybe I don't need to move cvar to a functor, and I can just delete it and provide it through the backend.
But in any case, by doing this, I run into a number of issues:
Removing the top-level stuff of Cvar forces me to remove the top-level stuff of As_prover/Typ. How about removing the top-level stuff os As_prover/Typ first, and then coming back to this PR?
That's what I'll do next.
Typ is quite hard to refactor, there's some GADT in there as well and I'm not sure why (
Typ).