+ WHERE (grp = 0 OR (name = ^(C.stringToSql grp) AND grp = id))
+ AND usr = ^(C.intToSql usr)`) of
+ SOME[x] => not (C.isNull x) andalso C.intFromSql x <> 0
+ | _ => false)
+ end
+
+fun userReallyInGroupName (usr, grp) =
+ let
+ val c = getDb ()
+ in
+ (case C.oneOrNoRows c ($`SELECT COUNT( * )
+ FROM Membership, WebGroup
+ WHERE (name = ^(C.stringToSql grp) AND grp = id)
+ AND usr = ^(C.intToSql usr)`) of