Ref (snarky.Snarky_backendless.As

type 'a t = 'a Ref0.t

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

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

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

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