1 files changed, 29 insertions, 0 deletions

diff --git a/src/reg.mli b/src/reg.mli
new file mode 100644
index 0000000..6e81259
--- /dev/null
+++ b/src/reg.mli
@@ -0,0 +1,29 @@
+(*
+ * 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
+
+(* Sorts a list of registers in ascending index order *)
+val regs_sort : reg list -> reg list
+
+(* Returns the string representation of a register list. *)
+val regs_string : reg list -> string