Move sources to dedicated directory

1 files changed, 0 insertions, 29 deletions

diff --git a/reg.mli b/reg.mli
deleted file mode 100644
index 6e81259..0000000
--- a/reg.mli
+++ /dev/null
@@ -1,29 +0,0 @@
-(*
- * 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