Closed tautschnig closed 2 weeks ago
These contracts seek to capture what is described in documentation and debug assertions.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
These contracts seek to capture what is described in documentation and debug assertions.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.