structure TrustedPath :> TRUSTED_PATH = struct
-fun query uname = List.exists (fn x => x = uname)
- (Posix.SysDB.Group.members (Posix.SysDB.getgrnam "only-tpe"))
- handle OS.SysErr _ => false
+fun query uname = Slave.inGroup {group = "only-tpe", user = uname}
end