sumProof property

DisjunctiveProof sumProof
final

Implementation

final DisjunctiveProof sumProof;