linksem_zarith
Byte_sequence_wrapper
linksem_num
type byte_sequence = {
bytes : Bytes.t;
start : int;
len : int;
}
val of_bytes : Bytes.t -> byte_sequence
val length : byte_sequence -> int
val capacity : byte_sequence -> int
val empty : byte_sequence
val acquire : string -> byte_sequence Error.error
val serialise : string -> byte_sequence -> unit Error.error
val get : byte_sequence -> int -> char
val unsafe_get : byte_sequence -> int -> char
val read_char : byte_sequence -> (char * byte_sequence) Error.error
val find_byte : byte_sequence -> char -> int option
val make : int -> char -> byte_sequence
val concat : byte_sequence List.t -> byte_sequence
val zero_pad_to_length : int -> byte_sequence -> byte_sequence
val to_string : byte_sequence -> string
val list_init_tailrec_aux : 'a List.t -> int -> int -> (int -> 'a) -> 'a List.t
val list_init : int -> (int -> 'a) -> 'a list
val to_char_list : byte_sequence -> char list
val from_char_list : char List.t -> byte_sequence
exception Different of int
val compare : byte_sequence -> byte_sequence -> int
val equal : byte_sequence -> byte_sequence -> bool
val dropbytes : int -> byte_sequence -> byte_sequence Error.error
val takebytes : int -> byte_sequence -> byte_sequence Error.error
val big_num_length : byte_sequence -> Nat_big_num.num
val big_num_find_byte : byte_sequence -> char -> Nat_big_num.num option
val big_num_make : Nat_big_num.num -> char -> byte_sequence
val big_num_zero_pad_to_length : Nat_big_num.num -> byte_sequence -> byte_sequence
val big_num_dropbytes : Nat_big_num.num -> byte_sequence -> byte_sequence Error.error
val big_num_takebytes : Nat_big_num.num -> byte_sequence -> byte_sequence Error.error
val takebytes_with_length : Nat_big_num.num -> Nat_big_num.num -> byte_sequence -> byte_sequence Error.error
val char_list_of_byte_list : 'a -> 'a
val acquire_byte_list : string -> char list Error.error
val serialise_byte_list : string -> char List.t -> unit Error.error