val userInGroupNum : int * int -> bool
val userInGroupName : int * string -> bool
+ val userReallyInGroupName : int * string -> bool (* Doesn't count root group *)
val addToGroup : membership -> unit
val addToGroups : int * int list -> unit
val inGroupNum : int -> bool
val inGroupName : string -> bool
+ val reallyInGroupName : string -> bool
(* These raise Access if the check fails *)
val requireGroupNum : int -> unit
val requireGroupName : string -> unit
-end
\ No newline at end of file
+ val requireAnyGroupName : string list -> unit
+end