qsharp-runtime
qsharp-runtime copied to clipboard
Use record to get `with` keyword.
This PR modifies the SubmissionOptions class to be a record class, allowing other code to use the with keyword to modify instances of the class on a field-by-field basis. The existing With method can then be refactored to use the with keyword.
Any updates on this?