[hcoop/portal.git] / chooseDomain.sig

signature CHOOSE_DOMAIN = sig
    val domains : string -> string list
    val yourDomain : {user : string, domain : string} -> bool
end
Commit	Line	Data
eafe3d52 AC	1	signature CHOOSE_DOMAIN = sig
	2	val domains : string -> string list
	3	val yourDomain : {user : string, domain : string} -> bool
	4	end