common.mli 292 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
open Helios_datatypes_t

type election_data = {
  raw : string;
  fingerprint : string;
  election : Z.t election;
  public_data : Z.t election_public_data;
}

val load_elections_and_votes :
  string -> (election_data * Z.t vote Lwt_stream.t) Lwt_stream.t

val hash_vote : Z.t vote -> string