From 9ca515d0c95130484364cb0ab56c0a7521e73f53 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 6 Sep 2019 14:41:17 +0200
Subject: [PATCH] Test: add a file I've forgotten to track
---
test/dfs-list/p.mli | 16 ++++++++++++++++
1 file changed, 16 insertions(+)
create mode 100644 test/dfs-list/p.mli
diff --git a/test/dfs-list/p.mli b/test/dfs-list/p.mli
new file mode 100644
index 00000000..bda29cd4
--- /dev/null
+++ b/test/dfs-list/p.mli
@@ -0,0 +1,16 @@
+open Algo
+
+type dfs_value = {
+ path: int list;
+ par: int
+}
+
+
+
+val actions: string list
+val init_state: int -> dfs_value
+val enable_f:dfs_value neighbor list -> dfs_value -> action list
+val step_f : dfs_value neighbor list -> dfs_value -> action -> dfs_value
+val dfs_value_to_string: dfs_value -> string
+
+val dfs_value_copy : dfs_value -> dfs_value
--
GitLab