Merge remote-tracking branch 'origin' into portal3

[hcoop/portal.git] / chooseDomain.sig

signature CHOOSE_DOMAIN = sig
    val domains : string -> string list
    val yourDomain : {user : string, domain : string} -> bool
end