[hcoop/zz_old/portal.git] / pref.sig

signature PREF =
sig
    val hasDirectory : int -> bool
    val setDirectory : int -> unit
    val unsetDirectory : int -> unit
end
Commit	Line	Data
566fd712	1	signature PREF =
	2	sig
	3	val hasDirectory : int -> bool
	4	val setDirectory : int -> unit
	5	val unsetDirectory : int -> unit
	6	end