COOL Compiler Implemented in OCaml