proofs property

((List<Proof>, ProofList)?) proofs
final

Implementation

final (List<Proof>, ProofList)? proofs;