Module As_prover.Ref

type 'a t = 'a Ref0.t
val create : ( 'a, 'f ) Types.As_prover.t -> ( 'a t, 'f ) Types.Checked.t
val get : 'a t -> ( 'a, 'f ) Types.As_prover.t
val set : 'a t -> 'a -> ( unit, 'f ) Types.As_prover.t
val typ : ( 'a t, 'a, 'f ) Types.Typ.t