add secmod_denom.ml secmod_signkey.ml

2025-12-06 23:15:07 +01:00 · 2025-12-06 23:15:07 +01:00 · 846122b49c
commit 846122b49c
parent 16ab1fff2b
5 changed files with 121 additions and 135 deletions
--- a/src/management.ml
+++ b/src/management.ml
@ -1,5 +1,4 @@
 open Api
-open Devices

 let mk_future_denom ~sm_denom_priv
    ({