We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 945e40c + a2800fb commit b3be74dCopy full SHA for b3be74d
1 file changed
src/test/resources/testModels/spec-doc-examples/to_be_added_to_spec/LibraryImport.crml
@@ -0,0 +1,9 @@
1
+library TestLib is {
2
+ Template b1 'or' b2 = not (not b1 and not b2);
3
+};
4
+
5
+model LibraryImport is TestLib union {
6
+ Boolean b1 is true;
7
+ Boolean b2 i false;
8
+ Boolean b1_or_b2 is b1 'or' b2;
9
0 commit comments