Experimental analyses for OCaml/Reason: for globally dead values/types, exception analysis, and termination analysis. - View it on GitHub