From af70ede01c8a112e37c33973e11abcb04fcc903e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Fri, 3 Feb 2017 16:23:20 +0100
Subject: [PATCH] Add Print.mli.

---
 demos/system-F-type/Print.mli | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 demos/system-F-type/Print.mli

diff --git a/demos/system-F-type/Print.mli b/demos/system-F-type/Print.mli
new file mode 100644
index 0000000..c0315ee
--- /dev/null
+++ b/demos/system-F-type/Print.mli
@@ -0,0 +1,4 @@
+(* Printers for types and terms. *)
+
+val typ: out_channel -> F.raw_typ -> unit
+val term: out_channel -> F.raw_term -> unit
-- 
GitLab