Changes between Version 16 and Version 17 of Fundamentals

Timestamp:

05/14/23 16:21:48 (3 years ago)

Author:

siegel

Comment:

--

Fundamentals

@@ -95 +95 @@
 === `$abstract`
 
+An abstract function declares a function without a body.  An abstract function is declared using a standard function prototype with the function qualifier `$abstract`, e.g.,
+{{{
+  $abstract int f(int x);
+}}}
+An abstract function must have a non-void return type and take at least one parameter.   An invocation of an abstract function is an expression and can be used anywhere an expression is allowed.  The interpretation is an "uninterpreted function".    A unique symbolic constant of function type will be created, corresponding to the abstract function, and invocations are represented as applications of the uninterpreted function to the arguments.  
+
 === `$atomic_f`