get_char buff i reads 1 byte at offset i as a char

get_uint8 buff i reads 1 byte at offset i as an unsigned int of 8 bits. i.e. It returns a value between 0 and 2^8-1

get_int8 buff i reads 1 byte at offset i as a signed int of 8 bits. i.e. It returns a value between -2^7 and 2^7-1

get_uint16 buff i reads 2 bytes at offset i as an unsigned int of 16 bits. i.e. It returns a value between 0 and 2^16-1

get_int16 buff i reads 2 byte at offset i as a signed int of 16 bits. i.e. It returns a value between -2^15 and 2^15-1

get_int32 buff i reads 4 bytes at offset i as an int32.

get_int64 buff i reads 8 bytes at offset i as an int64.

get_float buff i is equivalent to Int32.float_of_bits (get_int32 buff i)

get_double buff i is equivalent to Int64.float_of_bits (get_int64 buff i)

set_char buff i v writes v to buff at offset i

set_int8 buff i v writes the least significant 8 bits of v to buff at offset i

set_int16 buff i v writes the least significant 16 bits of v to buff at offset i

set_int32 buff i v writes v to buff at offset i

set_int64 buff i v writes v to buff at offset i

set_float buff i v is equivalent to set_int32 buff i (Int32.bits_of_float v)

set_double buff i v is equivalent to set_int64 buff i (Int64.bits_of_float v)