As_prover.Ref
type 'a t
val create : ( unit -> 'a ) as_prover -> 'a t
val get : 'a t -> 'a as_prover
val set : 'a t -> 'a -> unit as_prover