Move the ObjFile module to its own file.

1 files changed, 0 insertions, 30 deletions

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