As_prover.Ref
type 'a t = 'a Full.As_prover.Ref.t
val create : 'a as_prover -> 'a t Checked.t
val get : 'a t -> 'a as_prover
val set : 'a t -> 'a -> unit as_prover