package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val magic_number : int32
type segment = {
  1. name : string;
  2. pos : int64;
  3. len : int64;
  4. 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)