Ref (snarky.Snarky_backendless.As_prover.Make_extended.3-As

type 'a t = 'a Ref0.t

val create : 
  ( 'a, Env.field ) Checked.Types.As_prover.t ->
  ( 'a t, Env.field ) Checked.Types.Checked.t

val get : 'a t -> ( 'a, Env.field ) Checked.Types.As_prover.t

val set : 'a t -> 'a -> ( unit, Env.field ) Checked.Types.As_prover.t

val typ : ( 'a t, 'a, Env.field ) Checked.Types.Typ.t