1 files changed, 16 insertions, 0 deletions
diff --git a/src/symbols.mli b/src/symbols.mli
new file mode 100755
index 0000000..764b539
--- /dev/null
+++ b/src/symbols.mli
@@ -0,0 +1,16 @@
+
+(** Symbols *)
+
+val eq  : UTF8.t
+val neq : UTF8.t
+val lt  : UTF8.t
+val le  : UTF8.t
+val gt  : UTF8.t
+val ge  : UTF8.t
+val add : UTF8.t
+val mul : UTF8.t
+val pow : UTF8.t
+val div : UTF8.t
+val sub : UTF8.t
+
+