+
+ val takingVotes : poll -> bool
+ val listChoicesWithVotes : int -> (bool * int * choice) list
+ val listChoicesWithMyVotes : int -> (bool * choice) list
+
+ val noDupes : ''a list -> bool
+ val listVoters : int -> Init.user list
+ (* This operates on choice IDs. *)
+
+ (* These operate on poll IDs. *)
+ val countVoters : int -> int
+ val listPollVoters : int -> Init.user list
+end