From 3f25710a891dfcd17f597c16dfedf5499bc1bbd6 Mon Sep 17 00:00:00 2001
From: pacien
Date: Fri, 20 Apr 2018 23:32:38 +0200
Subject: Modularize everything

---
 reg.mli | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 reg.mli

(limited to 'reg.mli')

diff --git a/reg.mli b/reg.mli
new file mode 100644
index 0000000..15d53de
--- /dev/null
+++ b/reg.mli
@@ -0,0 +1,23 @@
+(*
+ * UPEM / L3 / Functional programming / Project: URM
+ * Pacien TRAN-GIRARD, Adam NAILI
+ *)
+
+open Common
+
+(* Returns the index of a register. *)
+val reg_idx : reg -> regidx
+
+(* Compares two register Ri and Rj.
+ * It returns an integer less than, equal to, or greater than zero if
+ * the first register index is respectively less than, equal to, or
+ * greater than the second register index. *)
+val reg_compar : reg -> reg -> int
+
+(* Returns the register value of a register from its index. Fails if
+ * there is not register with the sought register index. *)
+val regs_get : reg list -> regidx -> regval
+
+(* Set the value of the register to value,
+ * or creates it to the value specified if it does not exist *)
+val regs_set : reg list -> regidx -> regval -> reg list
-- 
cgit v1.2.3