Ref (snarky.Snarky_backendless.Checked_runner.Make_checked.2-As

type 'a t = 'a As_prover.Ref0.t

val create : 
  ( 'a, Backend.Field.t ) Types.As_prover.t ->
  ( 'a t, Backend.Field.t ) Types.Checked.t

val get : 'a t -> ( 'a, Backend.Field.t ) Types.As_prover.t

val set : 'a t -> 'a -> ( unit, Backend.Field.t ) Types.As_prover.t

val typ : ( 'a t, 'a, Backend.Field.t ) Types.Typ.t