.
This commit is contained in:
parent
73f64e77be
commit
84a65c5931
10 changed files with 133 additions and 233 deletions
|
|
@ -1,5 +1,6 @@
|
|||
open Crypto
|
||||
|
||||
(* TODO replace by Api.SignKey.t instead? (no revoked_sig) *)
|
||||
type t = {
|
||||
pub: eddsa_pub;
|
||||
stamp_start: Timestamp.t;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue