ProofOps constructor

const ProofOps({ List<ProofOp> ops = const [], })

Implementation

const ProofOps({this.ops = const []});