cvsimport
[hcoop/zz_old/portal.git] / pref.sig
CommitLineData
566fd712 1signature PREF =
2sig
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 10end