Impl.Proof_inputs
type t = Fq2.Impl.Proof_inputs.t = {
public_inputs : Field.Vector.t;
auxiliary_inputs : Field.Vector.t;
}