Commit 94163b31 authored by Stephane Glondu's avatar Stephane Glondu
Browse files

Doc

parent 053a73af
(** Cryptographic primitives *)
(** Election primitives *)
open Signatures
......
(** Signatures of cryptographic primitives *)
(** Signatures *)
(** A group suitable for discrete logarithm-based cryptography. *)
module type GROUP = sig
......
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