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

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

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