Mercurial > urweb
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) |