issues
search
acsl-language
/
acsl
Sources for the ANSI/ISO C Specification Language manual
Other
49
stars
8
forks
source link
New operators
#10
Open
vprevosto
opened
7 years ago
vprevosto
commented
7 years ago
Should we propose a specific syntax for
\abs
and
\power
?
In a similar vein, would it be possible to allow the definition of custom binary operator (e.g. with the same conventions as OCaml, i.e.
logic real (^^^)(real x, real y) = \power(x,y);
)
\absand\power?logic real (^^^)(real x, real y) = \power(x,y);)