test as_prover.Ref
o1-david opened this issue · comments
a way to pass variable information between as_prover blocks
(doesn't need to be mutable)
we can delete the mutable thing (and the set method) if needed
we can delete the mutable thing (and the set method) if needed
Stale issue message