1 files changed, 6 insertions, 0 deletions

diff --git a/src/main.mli b/src/main.mli
new file mode 100644
index 0000000..73ba84e
--- /dev/null
+++ b/src/main.mli
@@ -0,0 +1,6 @@
+(*
+ * UPEM / L3 / Functional programming / Project: URM
+ * Pacien TRAN-GIRARD, Adam NAILI
+ *)
+
+val read_prgm : (string list -> 'a list) -> string -> 'a list