An interpreter for Dedukti written in OCaml.