rename signkey.ml

This commit is contained in:
swrup 2025-10-19 00:15:47 +02:00
parent 683d275f73
commit bc6ea09a59
3 changed files with 6 additions and 6 deletions

View file

@ -2,9 +2,9 @@
better types to not mixup keys maybe
.. *)
let signkey = Secmod_keys.make ~name:"signkey"
let online_key = Secmod_keys.make ~name:"online_key"
let denom_key = Secmod_keys.make ~name:"denom_key"
let signkey = Signkey.make ~name:"signkey"
let online_key = Signkey.make ~name:"online_key"
let denom_key = Signkey.make ~name:"denom_key"
let denominations =
let finally _key = () in