Index of values

alloc_sptr_ptr buf ~pos allocate a pointer to a start pointer.

array_bound_error ()

at_end buf sptr_ptr pos_ref el deallocates sptr_ptr for buffer buf, sets pos_ref to the new position, then returns el.

bin_dump ?header writer v uses writer to first compute the size of v in the binary protocol, then allocates a buffer of exactly this size, and then writes out the value.

bin_read_stream ?max_size ~read reader reads binary protocol data from a stream as generated by the read function, which places data of a given length into a given buffer.

bin_write_array_no_length writes out all values in the given array without writing out its length.

bin_write_array_no_length writes out all values in the given array without writing out its length.

bin_write_int64_bits writes out the exact little-endian bit representation of the given int64 value.

bin_write_int64_bits writes out the exact bit representation of the given int64 value.

bin_write_int_16bit writes out the exact little-endian bit representation of the given int value using the lower 16 bits.

bin_write_int_16bit writes out the exact bit representation of the given int value using the lower 16 bits.

bin_write_int_32bit writes out the exact little-endian bit representation of the given int value using the lower 32 bits.

bin_write_int_32bit writes out the exact bit representation of the given int value using the lower 32 bits.

bin_write_int_64bit writes out the exact little-endian bit representation of the given int value using all 64 bits.

bin_write_int_64bit writes out the exact bit representation of the given int value using all 64 bits.

bin_write_int_8bit writes out the exact little-endian bit representation of the given int value using the lower 8 bits.

bin_write_int_8bit writes out the exact bit representation of the given int value using the lower 8 bits.

bin_write_network16_int writes out an integer in 16bit network byte order (= big-endian).

bin_write_network16_int writes out an integer in 16bit network byte order (= big-endian).

bin_write_network32_int writes out an integer in 32bit network byte order (= big-endian).

bin_write_network32_int writes out an integer in 32bit network byte order (= big-endian).

bin_write_network32_int32 writes out a 32bit integer in 32bit network byte order (= big-endian).

bin_write_network32_int32 writes out a 32bit integer in 32bit network byte order (= big-endian).

bin_write_network64_int writes out an integer in 64bit network byte order (= big-endian).

bin_write_network64_int writes out an integer in 64bit network byte order (= big-endian).

bin_write_network64_int64 writes out a 64bit integer in 64bit network byte order (= big-endian).

bin_write_network64_int64 writes out a 64bit integer in 64bit network byte order (= big-endian).

bin_write_variant_tag writes out the exact little-endian bit representation of the variant tag of the given value (= 32 bits).

bin_write_variant_tag writes out the exact bit representation of the variant tag of the given value (= 32 bits).

blit_buf ?src_pos ~src ?dst_pos ~dst len blits len bytes of the source buffer src starting at position src_pos to destination buffer dst starting at position dst_pos.

blit_buf_string ?src_pos src ?dst_pos dst ~len blits len bytes of the source buffer src starting at position src_pos to string dst starting at position dst_pos.

blit_string_buf ?src_pos src ?dst_pos dst ~len blits len bytes of the source string src starting at position src_pos to buffer dst starting at position dst_pos.

check_next buf pos

check_pos buf pos

copy_htbl_list htbl lst adds all (key, value) pairs in lst to hash table htbl.

create_buf n creates a buffer of size n.

dealloc_sptr_ptr buf sptr_ptr deallocate a pointer to a start pointer and return its position.

get_buf_pos ~start ~cur

get_eptr buf ~pos

get_eptr_from_sptr_ptr sptr_ptr ~pos

get_ptr_string sptr_ptr eptr

get_read_init buf ~pos_ref

get_safe_buf_pos buf ~start ~cur

get_sptr buf ~pos

get_sptr_ptr sptr_ptr buf

get_sptr_ptr_sptr sptr_ptr

handle_error buf sptr_ptr err deallocates sptr_ptr for buffer buf.

handle_exc buf sptr_ptr exc deallocates sptr_ptr for buffer buf.

make c_reader takes an unsafe C-style reader c_reader.

make c_writer takes an unsafe C-style writer c_writer.

make1 mk_c_reader ml_el_reader takes a higher-order C-style reader mk_c_reader and an ML-reader ml_el_reader that operates on the same type as the argument of the C-style reader.

make1 mk_c_writer ml_el_writer takes a higher-order C-style writer mk_c_writer and an ML-writer ml_el_writer that operates on the same type as the argument of the C-style writer.

make2 mk_c_reader ml_el1_reader ml_el2_reader like Read_c.make1 but operates on unsafe C-style write functions for types with two type parameters.

make2 mk_c_writer ml_el1_writer ml_el2_writer like Write_c.make1 but operates on unsafe C-style write functions for types with two type parameters.

make3 mk_c_reader ml_el1_reader ml_el2_reader ml_el3_reader like Read_c.make1 but operates on unsafe C-style write functions for types with three type parameters.

make3 mk_c_writer ml_el1_writer ml_el2_writer ml_el3_writer like Write_c.make1 but operates on unsafe C-style write functions for types with three type parameters.

of_int n converts integer n to a natural number.

raise_concurrent_modification loc

raise_read_error err pos

raise_read_exc exc pos

raise_variant_wrong_type type_name

safe_get_pos buf pos_ref

set_sptr_ptr sptr_ptr buf ~pos sets the pointer in sptr_ptr to the location denoted by position pos in buffer buf.

set_sptr_ptr_sptr sptr_ptr sptr sets the pointer in sptr_ptr to sptr.

shift_sptr sptr n

to_string err

unmake ml_reader buf takes an ML-style reader ml_reader and a buffer.

unmake ml_writer buf ~start takes an ML-style writer ml_writer, a buffer, and the pointer start to the start of the buffer.

unsafe_get_init buf ~pos