X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_dag.mli;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_dag.mli;h=0968482e993db2bbfd721eaddc0d7ed037da2552;hp=0000000000000000000000000000000000000000;hb=e6e82c0866db4eb08f956b2582e5c2ed5399e986;hpb=d1fe69d31f39d5481d739e592863e1126cfe0c35

diff --git a/compiler/src/lib/tiger/tiger_dag.mli b/compiler/src/lib/tiger/tiger_dag.mli
new file mode 100644
index 0000000..0968482
--- /dev/null
+++ b/compiler/src/lib/tiger/tiger_dag.mli
@@ -0,0 +1,3 @@
+type t
+
+val of_list : ('a * 'a) list -> (t, [`Cycle]) result