mv mod_intf.mli
This commit is contained in:
parent
9b389d6f69
commit
5081628f8b
4 changed files with 3 additions and 2 deletions
1
src/dune
1
src/dune
|
|
@ -8,6 +8,7 @@
|
||||||
(name mte)
|
(name mte)
|
||||||
(wrapped false)
|
(wrapped false)
|
||||||
(modules :standard \ mte b32)
|
(modules :standard \ mte b32)
|
||||||
|
(modules_without_implementation mod_intf)
|
||||||
(libraries
|
(libraries
|
||||||
b32
|
b32
|
||||||
;
|
;
|
||||||
|
|
|
||||||
|
|
@ -1,7 +1,7 @@
|
||||||
(* TODO better error type *)
|
(* TODO better error type *)
|
||||||
type 'a result = ('a, string) Result.t
|
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
|
module Make (Conn : Pg.CONN) = struct
|
||||||
open Syntax
|
open Syntax
|
||||||
|
|
|
||||||
|
|
@ -1,3 +1,3 @@
|
||||||
module type S = Keys_intf.S
|
module type S = Mod_intf.S
|
||||||
|
|
||||||
module Make (_ : Pg.CONN) : S
|
module Make (_ : Pg.CONN) : S
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue