(******
 * This file defines the skeleton structure for the department grade server.
 * This server is not controlled or set up by the grader program, and therefore is not
 * fully defined here.
 *)
module Departmentserver;
from Gradesheet import GradeSheet;
 export all;
 
 object Server is sgs:GradeSheet and users:User*;
 object User is userid:UserId and password:Password;
 object UserId;
 object Password;
 
 
end Departmentserver;