Commit | Line | Data |
---|---|---|
566fd712 | 1 | signature PREF = |
2 | sig | |
3 | val hasDirectory : int -> bool | |
4 | val setDirectory : int -> unit | |
5 | val unsetDirectory : int -> unit | |
56c0e176 | 6 | |
7 | val subscribed : string * string -> bool | |
8 | val subscribe : string * string -> bool | |
9 | val unsubscribe : string * string -> bool | |
566fd712 | 10 | end |