src/Tools/SML/Example.sig

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/SML/Example.sig	Tue Mar 25 14:52:35 2014 +0100
@@ -0,0 +1,6 @@
+signature Example =
+sig
+  type t
+  val a: t
+  val b: t -> t
+end