From 098ac444e731d7674d8910264ae58fb876618a5a Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 24 Nov 2017 13:46:00 +0100 Subject: Move function in their own modules --- src/symbols.ml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100755 src/symbols.ml (limited to 'src/symbols.ml') 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"-" -- cgit v1.2.3