Coq file generated from the mocaml ott file.