common.mli 350 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
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 :
Stephane Glondu's avatar
Stephane Glondu committed
11
  string -> (election_data * Z.t ballot Lwt_stream.t * voter Lwt_stream.t) Lwt_stream.t
12

Stephane Glondu's avatar
Stephane Glondu committed
13
val hash_ballot : Z.t ballot -> string
Stephane Glondu's avatar
Stephane Glondu committed
14
val hash_user : user -> string