From ac23471c4dabf99e8fc907a22d65f12a99124e8e Mon Sep 17 00:00:00 2001
From: swrup <swrup@protonmail.com>
Date: Sat, 21 Feb 2026 18:44:43 +0100
Subject: [PATCH]

---
 src/mod_intf.mli    | 27 ---------------------------
 src/secmod_eddsa.ml |  6 +-----
 src/secmod_rsa.ml   |  6 +-----
 3 files changed, 2 insertions(+), 37 deletions(-)

diff --git a/src/mod_intf.mli b/src/mod_intf.mli
index 0b12ac00..c0edfacd 100644
--- a/src/mod_intf.mli
+++ b/src/mod_intf.mli
@@ -27,30 +27,3 @@ module type KEYS = sig
   val revoke_denomination :
     denom_hash -> Signatures.MasterDenominationKeyRevocation.t -> unit result
 end
-
-module type SECMOD = sig
-  type pub
-  type sig_typ
-  type info
-
-  val sm_pub : eddsa_pub
-  val keys : unit -> info list
-  val sign_secmod : string -> eddsa_sig
-  val sign : pub -> string -> (sig_typ, string) Result.t
-  val revoke : pub -> (unit, string) Result.t
-end
-
-type sm_eddsa_info = eddsa_pub * Time.Absolute.t * Time.Absolute.t
-type sm_rsa_info = string * rsa_pub * Time.Absolute.t * Time.Absolute.t
-
-module type SECMOD_EDDSA =
-  SECMOD
-    with type pub = eddsa_pub
-     and type sig_typ = eddsa_sig
-     and type info = sm_eddsa_info
-
-module type SECMOD_RSA =
-  SECMOD
-    with type pub = rsa_pub
-     and type sig_typ = rsa_sig
-     and type info = sm_rsa_info
diff --git a/src/secmod_eddsa.ml b/src/secmod_eddsa.ml
index 4056b2d5..ed5d6430 100644
--- a/src/secmod_eddsa.ml
+++ b/src/secmod_eddsa.ml
@@ -162,11 +162,7 @@ let init () =
 
 type info = eddsa_pub * Time.Absolute.t * Time.Absolute.t
 
-module Make () :
-  Mod_intf.SECMOD
-    with type pub = eddsa_pub
-     and type sig_typ = eddsa_sig
-     and type info = info = struct
+module Make () = struct
   type pub = EddsaPublicKey.t
   type sig_typ = EddsaSignature.t
   type info = EddsaPublicKey.t * Time.Absolute.t * Time.Absolute.t
diff --git a/src/secmod_rsa.ml b/src/secmod_rsa.ml
index 327437e2..a2dc386f 100644
--- a/src/secmod_rsa.ml
+++ b/src/secmod_rsa.ml
@@ -187,11 +187,7 @@ let init () =
 
 type info = string * rsa_pub * Time.Absolute.t * Time.Absolute.t
 
-module Make () :
-  Mod_intf.SECMOD
-    with type pub = rsa_pub
-     and type sig_typ = rsa_sig
-     and type info = info = struct
+module Make () = struct
   type pub = RsaPublicKey.t
   type sig_typ = RsaSignature.t
   type info = string * RsaPublicKey.t * Time.Absolute.t * Time.Absolute.t