module Login; from Data import UserID; export all; object LoginCookie is components: userID:UserID and isConnected:boolean and isAuthenticated:boolean; description: (* Dummy file to use for compilation until real login information is ready *); end LoginCookie; end Login;