Commit 15efea94 authored by Stephane Glondu's avatar Stephane Glondu
Browse files

Single parameter for wrapped_pubkey

parent 4cf430ab
......@@ -61,15 +61,15 @@ type ff_params = {
<doc text="Parameters for a multiplicative subgroup of a finite field.">
(* FIXME: use a "group" field of type 'a *)
type ('a, 'b) wrapped_pubkey = {
g : number;
type 'a wrapped_pubkey = {
g : 'a;
p : number;
q : number;
y : 'b;
y : 'a;
} <ocaml field_prefix="ffpk_">
<doc text="A public key wrapped with its group parameters.">
type ff_pubkey = (ff_params, number) wrapped_pubkey
type ff_pubkey = number wrapped_pubkey
type question = {
answers : string list <ocaml repr="array">;
......
Supports Markdown
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