As_prover.Ref
Mutable references for use by the prover in a checked computation.
type 'a t
A mutable reference to an 'a value, which may be used in checked computations.
'a
val create : 'a as_prover -> 'a t Checked.t
val get : 'a t -> 'a as_prover
val set : 'a t -> 'a -> unit as_prover