Continuation Passing Style intermediate representation implemented in OCaml. Based on the book Compiling with Continuations.