[hcoop/portal.git] / pref.sig

signature PREF =
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
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