Commit 0a032d3d authored by Stephane Glondu's avatar Stephane Glondu
Browse files

Make randomness type abstract

parent 708eccea
......@@ -206,7 +206,7 @@ module type ELECTION = sig
answers and cryptographic proofs that they satisfy the election
constraints. *)
type randomness = Z.t array array
type randomness
(** Randomness needed to create a ballot. *)
val make_randomness : t -> randomness m
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment