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