Type alias GPCProofTupleConfig

GPCProofTupleConfig: {
    entries: PODEntryIdentifier[];
    isMemberOf?: PODName;
    isNotMemberOf?: PODName;
}

GPCProofConfig for a single tuple, specifying which entries lie in the tuple and which membership lists the tuple lies in.

entries: PODEntryIdentifier[]
Identifiers of the POD entries that form the tuple (in order). These must be POD entry identifiers, not tuples.
Optional isMemberOf?: PODName
Indicates a list in which this entry must lie. The same remarks in GPCProofEntryConfig regarding isMemberOf apply here.
Optional isNotMemberOf?: PODName
Indicates a list in which this entry must not lie. The same remarks in GPCProofEntryConfig regarding isNotMemberOf apply here.