Functional kernel written in OCaml.