users: filter retired by default, remove dead code

[hcoop/portal.git] / chooseDomain.sig

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