Users: module { PATH: con "/dis/lib/user.dis"; User: adt { nick : string; channels : list of ref Channel; logged_in : int; }; add: fn(nick, host, gcos, vhost, ip: string) : ref User; find: fn(nick: string) : ref User; };