Internal.Ref_typ
val typ : ( 'a Snarky_backendless__As_prover.Ref0.t, 'a, 'b, ( unit, 'c ) Checked_runner.Simple.t ) Types.Typ.typ