Module Archive

type archive_entry_header = {
name : string;
timestamp : Nat_big_num.num;
uid : int;
gid : int;
mode : int;
size : int;
}
type archive_global_header = char list
val read_archive_entry_header : Nat_big_num.num -> Byte_sequence_wrapper.byte_sequence -> (archive_entry_header * Nat_big_num.num * Byte_sequence_wrapper.byte_sequence) Error.error
val read_archive_global_header : Byte_sequence_wrapper.byte_sequence -> (char list * Byte_sequence_wrapper.byte_sequence) Error.error
val accum_archive_contents : (string * Byte_sequence_wrapper.byte_sequence) list -> string option -> Nat_big_num.num -> Byte_sequence_wrapper.byte_sequence -> (string * Byte_sequence_wrapper.byte_sequence) list Error.error
val read_archive : Byte_sequence_wrapper.byte_sequence -> (string * Byte_sequence.byte_sequence0) list Error.error