Commit 78458947 authored by Stephane Glondu's avatar Stephane Glondu
Browse files

More arrays...

parent 6907eb0d
......@@ -116,8 +116,8 @@ type trustee_public_key = {
} <ocaml field_prefix="trustee_">
type partial_decryption = {
decryption_factors : number list list;
decryption_proofs : proof list;
decryption_factors : number list <ocaml repr="array"> list <ocaml repr="array">;
decryption_proofs : proof list <ocaml repr="array">;
}
(** {1 Compound datastructures} *)
......
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