JJ: Description from the destination commit:

~

JJ: Description from source commit:
mv mod_intf.mli

src/dune

@@ -8,6 +8,7 @@
  (name mte)
  (wrapped false)
  (modules :standard \ mte b32)
+ (modules_without_implementation mod_intf)
  (libraries
   b32
   ;

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

src/keys.mli

@@ -1,3 +1,3 @@
-module type S = Keys_intf.S
+module type S = Mod_intf.S
 
 module Make (_ : Pg.CONN) : S

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
+  (* TODO do not exceed lookahead (probably more important...) *)
-     (probably not important) *)
+  (* try to not generate keys with validity start in the past *)
   let start =
     match List.rev (sort_keys l) with
     | [] -> now