HCoop
/
bpt
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Disk quota comparison
[bpt/portal.git]
/
poll.sig
diff --git
a/poll.sig
b/poll.sig
index
d459f04
..
8111fe9
100644
(file)
--- a/
poll.sig
+++ b/
poll.sig
@@
-36,4
+36,9
@@
signature POLL = sig
val noDupes : ''a list -> bool
val listVoters : int -> Init.user list
val noDupes : ''a list -> bool
val listVoters : int -> Init.user list
-end
\ No newline at end of file
+ (* This operates on choice IDs. *)
+
+ (* These operate on poll IDs. *)
+ val countVoters : int -> int
+ val listPollVoters : int -> Init.user list
+end