ProofOps constructor

ProofOps({ Iterable<ProofOp>? ops, })

Implementation

factory ProofOps({
  $core.Iterable<ProofOp>? ops,
}) {
  final _result = create();
  if (ops != null) {
    _result.ops.addAll(ops);
  }
  return _result;
}