This is an old revision of the document!
grantAdminRights(ident uid, ident username) { assume exists //accounts/account[uid]/admin; assume exists //accounts/account[username]; # implicitly true in OO implementations assume not exists //accounts/account[username]/admin; insert //accounts/account[username] <admin />; }