proof property

DisjunctiveProof proof
final

Implementation

final DisjunctiveProof proof;