We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2282550 commit 06ae82bCopy full SHA for 06ae82b
courses/spark_essentials/090_type_contracts/03-type_invariants.rst
@@ -8,7 +8,7 @@ What Is a Type Invariant?
8
9
* Boolean property that should always hold of objects of the type
10
11
- - ...**outside** of its unit
+ - ... **outside** of its unit
12
- Same use of name of the type and component names as in predicates
13
14
* Can only be specified on the completion of a private type (in SPARK)
0 commit comments