ops property

@TagNumber(1) List<ProofOp> ops

Implementation

@$pb.TagNumber(1)
$core.List<ProofOp> get ops => $_getList(0);