Begin generation of public pages

[bpt/portal.git] / pref.sig

diff --git a/pref.sig b/pref.sig
new file mode 100644 (file)
index 0000000..1bf518a
--- /dev/null
+++ b/pref.sig
@@ -0,0 +1,6 @@
+signature PREF =
+sig
+    val hasDirectory : int -> bool
+    val setDirectory : int -> unit
+    val unsetDirectory : int -> unit
+end
\ No newline at end of file