JJ: Description from the destination commit:
wip rename JJ: Description from source commit: rename
This commit is contained in:
parent
15c132829e
commit
439ce5d5e3
9 changed files with 139 additions and 136 deletions
10
src/signkey_data.ml
Normal file
10
src/signkey_data.ml
Normal file
|
|
@ -0,0 +1,10 @@
|
|||
open Crypto
|
||||
|
||||
type t = {
|
||||
pub: eddsa_pub;
|
||||
priv: eddsa_priv;
|
||||
stamp_start: Timestamp.t;
|
||||
stamp_expire: Timestamp.t;
|
||||
stamp_end: Timestamp.t;
|
||||
master_sig: Bin_sig.ExchangeSigningKeyValidity.t option;
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue