From 5081628f8b8c9e6f38b87552da2c0196de03b4cc Mon Sep 17 00:00:00 2001 From: swrup Date: Sat, 21 Feb 2026 16:34:28 +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 4 files changed, 3 insertions(+), 2 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