Ephemeral (pickles.Pickles.Types_map.Side

type t = {
index : [ `In_both of
            ( Backend.Tock.Curve.Affine.t,
              Pickles_base.Proofs_verified.Stable.V1.t,
              Impls.Wrap.Verification_key.t )
              Mina_wire_types.Pickles_base.Side_loaded_verification_key.Poly.V2.t
            * Pickles__Side_loaded_verification_key.Checked.t
        | `In_circuit of Pickles__Side_loaded_verification_key.Checked.t
        | `In_prover of
          ( Backend.Tock.Curve.Affine.t,
            Pickles_base.Proofs_verified.Stable.V1.t,
            Impls.Wrap.Verification_key.t )
            Mina_wire_types.Pickles_base.Side_loaded_verification_key.Poly.V2.t ];
}