Lut4ocaml interface