Changes between Version 29 and Version 30 of Language

Timestamp:

05/20/23 10:14:43 (3 years ago)

Author:

siegel

Comment:

--

Language

@@ -126 +126 @@
 == Expressions
 
-=== Boolean expressions
+=== Boolean expressions, `=>`, `$forall`, `$exists`
 
 CIVL-C provides the boolean constants`$true` and `$false`, which are simply defined as 1 and 0, respectively.
@@ -181 +181 @@
 The order on the domain is the dictionary order on tuples.
 The type of this expression is `$domain(n)`.
-When a Cartesian domain expression is used to initialize an object of domain type, the `($domain)` may be omitted. For example: 
+When a Cartesian domain expression is used to initialize an object of domain type, the `($domain)` may be omitted.
+For example: 
 {{{
 $domain(3) dom = { 0..3, r2, 10..2#-2 };
@@ -190 +191 @@
 
 === The null process reference: `$proc_null`
-The null process constant.  Similar to the NULL pointer, this gives an object of `$proc` type a defined value, and can be used in `==` and `!=` expressions.  It cannot be used as the argument to `$wait` or `$waitall`.
+The null process constant.  Similar to the NULL pointer, this gives an object of `$proc` type a defined value, and can be used in `==` and `!=` expressions.
+It cannot be used as the argument to `$wait` or `$waitall`.
 
 === The root scope constant: `$root`