Coq OCaml Types Correspondance

Ocaml	Coq	Coq to OCaml	OCaml to Coq
bool	bool	bool_of_coqbool	bool_to_coqbool
char	byte	char_of_coqbyte	chat_to_coqbyte
int	i63	int_of_coqi63	int_to_coqi63
unit	unit
Bytestring.t	bytestring	bytestring_of_coqbytestring	bytestring_to_coqbytestring
Sum.t	sum	sum_oq_coqsum	sum_to_coqsum
option	option	TODO	TODO
list	list	list_of_coqlist	list_to_coqlist