Programmation Fonctionnelle, TP3

(** the type of bits *)
type bit =
| O (** stands for zero *)
| I (** stands for one *)
(** [bit_list_of_int value length] converts the integer [value] into a list of bits (little-endian).
[length] is the number of bits of the encoding. [value] is taken modulo 2 to [length] *)
val bit_list_of_int : int -> int -> bit list
(** [int_of_bit_list lst] converts the little-endian encoding of an integer coded by a list of bits into an int *)
val int_of_bit_list : bit list -> int
(** [ascii_of_bit_list] converts a list of bits into a list of integer between 0 and 255,
Each block of 8 successive bits is translated to an int. A number of [O] is added at the end
to avoid any overflow.
*)
val ascii_of_bit_list : bit list -> int list
(** [bit_list_of_ascii] converts an integer between 0 and 255 into a list of 8 bits (little-endian). *)
val bit_list_of_ascii : int -> bit list
(** [int_list_of_bit_list lit length] converts a list of bits into a list of integer.
The list is cut into blocks of size [length], and each of this block is considered
to be an integer in little-endian notation
*)
val int_list_of_bit_list : bit list -> int -> int list

Programmation Fonctionnelle, TP3 : binary.mli