From 841dabcc03abd1f7d30745a6f132019f3a94b45c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Thu, 21 Jan 2021 16:47:31 +0100
Subject: [PATCH] Clean up Builder_db interface

Database encoding functions are not useful to library users.
---
 db/builder_db.mli | 2 --
 1 file changed, 2 deletions(-)

diff --git a/db/builder_db.mli b/db/builder_db.mli
index 617dbed..5c38737 100644
--- a/db/builder_db.mli
+++ b/db/builder_db.mli
@@ -76,7 +76,6 @@ sig
     script : string;
     job_id : id;
   }
-  val t : t Caqti_type.t
   module Meta :
   sig
     type t = {
@@ -86,7 +85,6 @@ sig
       result : Builder.execution_result;
       job_id : id;
     }
-    val t : t Caqti_type.t
   end
 
   val migrate :