Prover_value is a wrapper on top of As_prover.Ref (but it doesn't have to be), but doesn't provide a mutable interface notably.
Using As_prover.Ref is confusing because it signals that you might change the value later, which is not true most of the time.
Prover_value is a wrapper on top of As_prover.Ref (but it doesn't have to be), but doesn't provide a mutable interface notably. Using As_prover.Ref is confusing because it signals that you might change the value later, which is not true most of the time.