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