From f551b75e1c4c0d3c3f5b5d696518563b0b0db4e5 Mon Sep 17 00:00:00 2001
From: swrup <swrup@protonmail.com>
Date: Sat, 21 Feb 2026 16:29:15 +0100
Subject: [PATCH]

---
 src/keys.ml      |  2 --
 src/keys.mli     | 30 ++++++++++++++++++++++++++++--
 src/keys_intf.ml | 29 -----------------------------
 3 files changed, 28 insertions(+), 33 deletions(-)

diff --git a/src/keys.ml b/src/keys.ml
index f7014a81..f7bfbd5e 100644
--- a/src/keys.ml
+++ b/src/keys.ml
@@ -1,8 +1,6 @@
 (* TODO better error type *)
 type 'a result = ('a, string) Result.t
 
-module type S = Keys_intf.S
-
 module Make (Conn : Pg.CONN) = struct
   open Syntax
   open Crypto
diff --git a/src/keys.mli b/src/keys.mli
index 50b891d4..fcbbef43 100644
--- a/src/keys.mli
+++ b/src/keys.mli
@@ -1,3 +1,29 @@
-module type S = Keys_intf.S
+type 'a result = ('a, string) Result.t
 
-module Make (_ : Pg.CONN) : S
+module Make (_ : Pg.CONN) : sig
+  open Crypto
+
+  val master_pub : eddsa_pub
+  val secmod_rsa_pub : eddsa_pub
+  val secmod_eddsa_pub : eddsa_pub
+  val sign : pub:eddsa_pub -> string -> eddsa_sig
+  val sign_denom : pub:rsa_pub -> string -> string
+  val find_signkey : eddsa_pub -> Signkey.t option result
+  val find_denomination : denom_hash -> Denomination.t option result
+  val signkeys : unit -> Signkey.t list result
+  val denominations : unit -> Denomination.t list result
+  val future_signkeys : unit -> Api.FutureSignKey.t list result
+  val future_denominations : unit -> Api.FutureDenom.t list result
+
+  val certify_future_signkey :
+    eddsa_pub -> Signatures.ExchangeSigningKeyValidity.t -> unit result
+
+  val certify_future_denomination :
+    denom_hash -> Signatures.DenominationKeyValidity.t -> unit result
+
+  val revoke_signkey :
+    eddsa_pub -> Signatures.MasterSigningKeyRevocation.t -> unit result
+
+  val revoke_denomination :
+    denom_hash -> Signatures.MasterDenominationKeyRevocation.t -> unit result
+end
diff --git a/src/keys_intf.ml b/src/keys_intf.ml
index 162503fd..e69de29b 100644
--- a/src/keys_intf.ml
+++ b/src/keys_intf.ml
@@ -1,29 +0,0 @@
-type 'a result = ('a, string) Result.t
-
-module type S = sig
-  open Crypto
-
-  val master_pub : eddsa_pub
-  val secmod_rsa_pub : eddsa_pub
-  val secmod_eddsa_pub : eddsa_pub
-  val sign : pub:eddsa_pub -> string -> eddsa_sig
-  val sign_denom : pub:rsa_pub -> string -> string
-  val find_signkey : eddsa_pub -> Signkey.t option result
-  val find_denomination : denom_hash -> Denomination.t option result
-  val signkeys : unit -> Signkey.t list result
-  val denominations : unit -> Denomination.t list result
-  val future_signkeys : unit -> Api.FutureSignKey.t list result
-  val future_denominations : unit -> Api.FutureDenom.t list result
-
-  val certify_future_signkey :
-    eddsa_pub -> Signatures.ExchangeSigningKeyValidity.t -> unit result
-
-  val certify_future_denomination :
-    denom_hash -> Signatures.DenominationKeyValidity.t -> unit result
-
-  val revoke_signkey :
-    eddsa_pub -> Signatures.MasterSigningKeyRevocation.t -> unit result
-
-  val revoke_denomination :
-    denom_hash -> Signatures.MasterDenominationKeyRevocation.t -> unit result
-end