[hcoop/portal.git] / chooseDomain.sml

structure ChooseDomain :> CHOOSE_DOMAIN = struct

val domains = Domtool.perms "domain"

fun yourDomain {user, domain} = Domtool.hasPerm "domain" user domain

end
Commit	Line	Data
eafe3d52 AC	1	structure ChooseDomain :> CHOOSE_DOMAIN = struct
eafe3d52 AC	2
5a2cf523	3	val domains = Domtool.perms "domain"
eafe3d52	4
5a2cf523	5	fun yourDomain {user, domain} = Domtool.hasPerm "domain" user domain
eafe3d52 AC	6
eafe3d52 AC	7	end