Skip to content
Snippets Groups Projects
Commit 26972b25 authored by Stéphane Del Pino's avatar Stéphane Del Pino
Browse files

Add doc for string comparison operators

parent 54db8b5b
Branches
Tags
1 merge request!145git subrepo clone git@gitlab.com:OlMon/org-themes.git packages/org-themes
......@@ -1407,6 +1407,20 @@ they follow a few rules.
\right.
\end{equation*}
#+end_src
\\
This is also the case for ~string~ values: only allowed operators are
~==~ and ~!=~.
#+begin_src latex :results drawer :exports results
\begin{equation*}
\left|
\begin{array}{rl}
\mathtt{==}:& \mathtt{string} \times \mathtt{string} \to \mathbb{B}\\
\mathtt{!=}:& \mathtt{string} \times \mathtt{string} \to \mathbb{B}
\end{array}
\right.
\end{equation*}
#+end_src
- Shift operators ~<<~ and ~>>~ are not used to define binary operators
between two basic types
- Arithmetic operators are defined
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment