if Acl.query {user = user, class = "priv", value = "all"}
orelse List.all (fn dom => Acl.query {user = user, class = "domain", value = dom}) doms then
(Domain.rmdom doms;
if Acl.query {user = user, class = "priv", value = "all"}
orelse List.all (fn dom => Acl.query {user = user, class = "domain", value = dom}) doms then
(Domain.rmdom doms;