From 3dc9ec53041b4b34a601c2d454d0e47005561b30 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 15 Apr 2020 19:09:34 +0200
Subject: Move the ObjFile module to its own file.

---
 lib/system.mli | 30 ------------------------------
 1 file changed, 30 deletions(-)

(limited to 'lib/system.mli')

diff --git a/lib/system.mli b/lib/system.mli
index 7e02b76203..4a8c35b6ea 100644
--- a/lib/system.mli
+++ b/lib/system.mli
@@ -88,36 +88,6 @@ val with_magic_number_check : ('a -> 'b) -> 'a -> 'b
 val marshal_out : out_channel -> 'a -> unit
 val marshal_in : string -> in_channel -> 'a
 
-module ObjFile :
-sig
-
-val magic_number : int32
-
-type segment = {
-  name : string;
-  pos : int64;
-  len : int64;
-  hash : Digest.t;
-}
-
-type in_handle
-type out_handle
-
-val open_in : file:string -> in_handle
-val close_in : in_handle -> unit
-val marshal_in_segment : in_handle -> segment:string -> 'a * Digest.t
-val get_segment : in_handle -> segment:string -> segment
-val segments : in_handle -> segment CString.Map.t
-
-val open_out : file:string -> out_handle
-val close_out : out_handle -> unit
-val marshal_out_segment : out_handle -> segment:string -> 'a -> unit
-val marshal_out_binary : out_handle -> segment:string -> out_channel * (unit -> unit)
-(** Low-level API. This function returns a channel and a closure. The channel
-    should only be written to, and once done, the closure should be invoked. *)
-
-end
-
 (** {6 Time stamps.} *)
 
 type time
-- 
cgit v1.2.3