Commit | Line | Data |
---|---|---|
27e48ace AC |
1 | signature PREF = |
2 | sig | |
3 | val hasDirectory : int -> bool | |
4 | val setDirectory : int -> unit | |
5 | val unsetDirectory : int -> unit | |
89627e97 AC |
6 | |
7 | val subscribed : string * string -> bool | |
8 | val subscribe : string * string -> bool | |
9 | val unsubscribe : string * string -> bool | |
27e48ace | 10 | end |