add documentation#3

y-tak6 wants to merge 2 commits intoproof-ninja:mainproof-ninja/ocaml2evm:mainfrom

y-tak6:documenty-tak6/ocaml2evm:documentCopy head branch name to clipboard