Internal (snarky.Snarky_backendless.Typ.T.Internal)

val snarkless : 'a -> ( 'b, 'c, 'd ) t

module Ref_typ : sig ... end

val ref : 
  unit ->
  ( 'a Snarky_backendless__As_prover.Ref0.t,
    'a,
    'b,
    ( unit, 'c ) Checked_runner.Simple.t )
    Types.Typ.typ