X-Git-Url: https://git.hcoop.net/hcoop/portal.git/blobdiff_plain/27e48ace692e2404e160a8949cb80b2f49a765be..573def24c0220a72beff4e3f5739a450d83de170:/pref.sig diff --git a/pref.sig b/pref.sig index 1bf518a..e3cb7d7 100644 --- a/pref.sig +++ b/pref.sig @@ -3,4 +3,8 @@ sig val hasDirectory : int -> bool val setDirectory : int -> unit val unsetDirectory : int -> unit + + val subscribed : string * string -> bool + val subscribe : string * string -> bool + val unsubscribe : string * string -> bool end \ No newline at end of file