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

---
 src/dune                           | 1 +
 src/keys.ml                        | 2 +-
 src/keys.mli                       | 2 +-
 src/{keys_intf.ml => mod_intf.mli} | 0
 src/secmod_eddsa.ml                | 4 ++--
 5 files changed, 5 insertions(+), 4 deletions(-)
 rename src/{keys_intf.ml => mod_intf.mli} (100%)

diff --git a/src/dune b/src/dune
index 0a6fa0ea..4c947c3a 100644
--- a/src/dune
+++ b/src/dune
@@ -8,6 +8,7 @@
  (name mte)
  (wrapped false)
  (modules :standard \ mte b32)
+ (modules_without_implementation mod_intf)
  (libraries
   b32
   ;
diff --git a/src/keys.ml b/src/keys.ml
index f7014a81..ef587b4b 100644
--- a/src/keys.ml
+++ b/src/keys.ml
@@ -1,7 +1,7 @@
 (* TODO better error type *)
 type 'a result = ('a, string) Result.t
 
-module type S = Keys_intf.S
+module type S = Mod_intf.S
 
 module Make (Conn : Pg.CONN) = struct
   open Syntax
diff --git a/src/keys.mli b/src/keys.mli
index 50b891d4..d2424c07 100644
--- a/src/keys.mli
+++ b/src/keys.mli
@@ -1,3 +1,3 @@
-module type S = Keys_intf.S
+module type S = Mod_intf.S
 
 module Make (_ : Pg.CONN) : S
diff --git a/src/keys_intf.ml b/src/mod_intf.mli
similarity index 100%
rename from src/keys_intf.ml
rename to src/mod_intf.mli
diff --git a/src/secmod_eddsa.ml b/src/secmod_eddsa.ml
index d0fff792..21564eea 100644
--- a/src/secmod_eddsa.ml
+++ b/src/secmod_eddsa.ml
@@ -92,8 +92,8 @@ let split_in_periodes ~start ~end_ =
   go acc start end_
 
 let gen_additional_keys_until_lookahead ~now l =
-  (* try to _not_ generate keys with validity start in the past
-     (probably not important) *)
+  (* TODO do not exceed lookahead (probably more important...) *)
+  (* try to not generate keys with validity start in the past *)
   let start =
     match List.rev (sort_keys l) with
     | [] -> now