val class : {user : string, class : string} -> DataStructures.StringSet.set
(* For what objects does the user have the permission? *)
val class : {user : string, class : string} -> DataStructures.StringSet.set
(* For what objects does the user have the permission? *)