ops property

List<ProofOp> ops
final

Implementation

final List<ProofOp> ops;