ops property

@TagNumber.new(1) List<ProofOp> get ops

Implementation

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