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