comparison demo/more/bid.ur @ 1030:6bcc1020d5cd

Start of Decision
author Adam Chlipala <adamc@hcoop.net>
date Mon, 02 Nov 2009 15:48:06 -0500
parents 8b7971e74335
children
comparison
equal deleted inserted replaced
1029:53a22f46f377 1030:6bcc1020d5cd
1 con fields userId paperId = [User = userId, Paper = paperId]
2
1 functor Make(M : Conference.INPUT) = struct 3 functor Make(M : Conference.INPUT) = struct
2 open M 4 open M
3 5
4 table bid : {User : userId, Paper : paperId, Interest : char} 6 table bid : {User : userId, Paper : paperId, Interest : char}
5 PRIMARY KEY (User, Paper) 7 PRIMARY KEY (User, Paper)