This commit is contained in:
parent
9b389d6f69
commit
3353a0ca43
4 changed files with 3 additions and 2 deletions
1
src/dune
1
src/dune
|
|
@ -8,6 +8,7 @@
|
|||
(name mte)
|
||||
(wrapped false)
|
||||
(modules :standard \ mte b32)
|
||||
(modules_without_implementation mod_intf)
|
||||
(libraries
|
||||
b32
|
||||
;
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -1,3 +1,3 @@
|
|||
module type S = Keys_intf.S
|
||||
module type S = Mod_intf.S
|
||||
|
||||
module Make (_ : Pg.CONN) : S
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue