diff --git a/test/dfs-list/p.mli b/test/dfs-list/p.mli
new file mode 100644
index 0000000000000000000000000000000000000000..bda29cd4ba0b3670df528294032c1902b3ac37cd
--- /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