diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:22:24 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:23:38 +0100 |
| commit | a6b5a6bdd138a5ccc6827bcc73580df1e9218820 (patch) | |
| tree | ff577395c1a5951a61a7234322f927f6ead5ee29 /functions.ml | |
| parent | ecb6fd62c275af03a07d892313ab3914d81cd40e (diff) | |
Moved all the code to src directory
Diffstat (limited to 'functions.ml')
| -rwxr-xr-x | functions.ml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/functions.ml b/functions.ml deleted file mode 100755 index 56d7530..0000000 --- a/functions.ml +++ /dev/null @@ -1,14 +0,0 @@ -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"-"
|