diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 13:46:00 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-27 10:53:30 +0100 |
| commit | 098ac444e731d7674d8910264ae58fb876618a5a (patch) | |
| tree | 8f4c9ab6ddcbed53f1ad2d993db98b688c41396a /src/symbols.ml | |
| parent | a6b5a6bdd138a5ccc6827bcc73580df1e9218820 (diff) | |
Move function in their own modules
Diffstat (limited to 'src/symbols.ml')
| -rwxr-xr-x | src/symbols.ml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/symbols.ml b/src/symbols.ml new file mode 100755 index 0000000..56d7530 --- /dev/null +++ b/src/symbols.ml @@ -0,0 +1,14 @@ +let u = UTF8.from_utf8string
+
+let eq = u"="
+let neq = u"<>"
+let lt = u"<"
+let le = u"<="
+let gt = u">"
+let ge = u">="
+
+let add = u"+"
+let mul = u"*"
+let pow = u"^"
+let div = u"/"
+let sub = u"-"
|